Skip to content
Snippets Groups Projects

drop support for Coq 8.15

Passed
Ralf Jung created pipeline for commit b809e2c2
, finished
Related merge request !508 to merge ralf/drop-8.15
merge request
2 jobs 19 minutes 39 seconds, queued for 43 seconds