Skip to content
Snippets Groups Projects

test (and time) Coq 8.10.1, drop 8.8

Passed
Ralf Jung created pipeline for commit c65f9285
, finished
For master
50 minutes 57 seconds, queued for 404 seconds