Skip to content

test against released Coq 8.7.0

Ralf Jung requested to merge ralf/ci into master

Merge request reports