Skip to content
Snippets Groups Projects

CI: bump Coq version to 8.18

Passed
Björn Brandenburg created pipeline for commit 8ae19a4b
, finished
For master
branch
10 jobs 24 minutes 1 second, queued for 4 seconds