search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491 stars 88 forks source link

CI: add Coq 8.20+rc1 #778

Closed hendriktews closed 2 months ago

hendriktews commented 4 months ago

This update required a number of manual fixes, because cipg is not yet able to generate the right container tags for rc versions.