Skip to content
Snippets Groups Projects

test the Coq 8.11 branch

Failed
Ralf Jung created pipeline for commit 7ae24ef3
, finished
For master
6 jobs 10 minutes 22 seconds, queued for 0 seconds