Skip to content
Snippets Groups Projects

bump the Coq we test

Failed
Ralf Jung created pipeline for commit d376a4ce
, finished
For master
1 job 13 minutes 18 seconds, queued for 295 seconds