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 #787

Closed hendriktews closed 2 months ago

hendriktews commented 2 months ago

Testing for Emacs 29.1 is and will be further reduced, because Ubuntu 23 reached it's end of life. Some containers for Emacs 27.1 will soon be deleted, because Debian Bullseye reached it's end of life.