Skip to content
Snippets Groups Projects

use 8.8.0 as default Coq version; test against Coq master with coqchk

Failed
Ralf Jung created pipeline for commit 41f0d79f
, finished
For master
1 minute 4 seconds, queued for 4 seconds