Skip to content

CI: bump Coq to 8.20 and mathcomp to 2.3.0

Björn Brandenburgrequested 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