Skip to content
Snippets Groups Projects

coq's build system is affected by VALIDATE, let's not use that

Passed
Ralf Jung created pipeline for commit d1363b24
, finished
For master
8 jobs 22 minutes 12 seconds, queued for 1 seconds