Skip to content
Snippets Groups Projects

bump Coq

Failed
Ralf Jung created pipeline for commit 399c450a
, finished
For master
17 minutes 27 seconds, queued for 183 seconds