Skip to content
Snippets Groups Projects

do nightly builds with Coq 8.14.dev for now

Failed
Ralf Jung created pipeline for commit 01a342bd
, finished
For master
Scheduled branch
1 job 13 minutes 33 seconds, queued for 11 seconds