Skip to content

re-enable notation testing for Coq 8.10

Ralf Jung requested to merge ci/ralf/reftest into master

This is blocked on https://github.com/coq/coq/pull/9214 being merged.

Merge request reports