Skip to content

CI: bump Coq to 8.20 and mathcomp to 2.3.0

Björn Brandenburg requested to merge wip-bump-Coq-mathcomp-versions into master

Adopt the latest Coq and mathcomp versions now that CoqEAL has been updated.

Merge request reports