Skip to content
Snippets Groups Projects

test Coq 8.20

Failed
Ralf Jung created pipeline for commit 5da2f2e2
, finished
For master
branch
4 jobs 8 minutes 39 seconds, queued for 1 seconds