Skip to content
Snippets Groups Projects

bump the Coq we test

Failed
Ralf Jung created pipeline for commit c47dfe5c
, finished
For master
1 job 19 minutes 13 seconds, queued for 9 seconds