Skip to content
Snippets Groups Projects

allow testing with Coq 8.19

Passed
Ralf Jung created pipeline for commit dd93e4c3
, finished
For master
11 minutes 1 second, queued for 2 seconds