Skip to content
Snippets Groups Projects

test Coq 8.11.2 instead of 8.11.0

Passed
Ralf Jung created pipeline for commit 3cf42a82
, finished
For master
1 job 16 minutes 55 seconds, queued for 2 seconds