Skip to content
Snippets Groups Projects

do nightly build against Coq 8.10 branch

Failed
Ralf Jung created pipeline for commit 2044cfbe
, finished
For master
Scheduled branch
2 jobs 19 minutes 30 seconds, queued for 1 seconds