hendriktews
commented
1 month ago - 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