Skip to content
Snippets Groups Projects

centrally control the Coq version to test every night

Passed
Ralf Jung created pipeline for commit b5f69000
, finished
For master
branch
1 job 20 minutes 55 seconds, queued for 275 seconds