Commits on Oct 2, 2024

1. CI: add Ubuntu 24 release; delete unused containers …

   - Ubuntu 24 Noble Numbat was released in June with Emacs 29.3 and Coq 8.18.0
   - Enabled testing Coq 8.18.0 and 8.19.2 with Emacs 29.3 to support
     Noble Numbat users according to our CI strategy
   - deleted container for Coq 8.8.2 and Emacs 26.1 because 8.8.2 was
     released more than 6 years ago
   - the oldest passively supported version pair is now 8.9.1 / 26.2,
     which will be kept until 2025/05
   - deleted a lot of other containers which are not needed any more

   

   hendriktews committed Oct 2, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 88add4d
   • Browse repository at this point

   Copy the full SHA

   88add4d View commit details

   Browse the repository at this point in the history