Skip to content
Snippets Groups Projects

CI: bump Coq to 8.20 and mathcomp to 2.3.0

Passed
Björn Brandenburg created pipeline for commit fcea8f31
, finished
For master
branch
9 jobs 19 minutes 14 seconds, queued for 2 seconds