Skip to content
Snippets Groups Projects

test against Coq 8.12.0 (instead of the branch) and master

Passed
Ralf Jung created pipeline for commit 4186d1d9
, finished
For master
6 jobs 15 minutes 59 seconds, queued for 2 seconds