Skip to content
Snippets Groups Projects

centrally control the Coq version to test every night

Passed
Ralf Jung created pipeline for commit db1431da
, finished
For master
1 job 4 minutes 47 seconds, queued for 3,903 seconds