Skip to content
Snippets Groups Projects

bump to Coq 8.18

Passed
Ralf Jung created pipeline for commit efeb255f
, finished
1 related merge request: !8 bump to Coq 8.18
1 job 14 minutes 12 seconds, queued for 2,078 seconds