Skip to content
Snippets Groups Projects

test Coq 8.12 and deny warnings

Passed
Ralf Jung created pipeline for commit 303b615b
, finished
For master
branch
2 jobs 31 minutes 35 seconds, queued for 305 seconds