From 88add4d85def058eeb1b484757f1905dddf359df Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 2 Oct 2024 15:41:11 +0200 Subject: [PATCH] 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 --- .github/workflows/test.yml | 6 +++ ci/doc/README.md | 64 ++++++++++++------------ ci/doc/coq-emacs-releases.org | 1 + ci/doc/currently-used-coq-emacs-versions | 1 - ci/doc/currently-used-coq-nix-versions | 1 - 5 files changed, 38 insertions(+), 35 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ef1edc75d..eb45bc7fe 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -129,10 +129,12 @@ jobs: - coq-8.18.0-emacs-26.3 - coq-8.18.0-emacs-27.1 - coq-8.18.0-emacs-28.2 + - coq-8.18.0-emacs-29.3 - coq-8.18.0-emacs-29.4 - coq-8.19.2-emacs-26.3 - coq-8.19.2-emacs-27.1 - coq-8.19.2-emacs-28.2 + - coq-8.19.2-emacs-29.3 - coq-8.19.2-emacs-29.4 - coq-8.20.0-emacs-26.3 - coq-8.20.0-emacs-27.1 @@ -205,10 +207,12 @@ jobs: - coq-8.18.0-emacs-26.3 - coq-8.18.0-emacs-27.1 - coq-8.18.0-emacs-28.2 + - coq-8.18.0-emacs-29.3 - coq-8.18.0-emacs-29.4 - coq-8.19.2-emacs-26.3 - coq-8.19.2-emacs-27.1 - coq-8.19.2-emacs-28.2 + - coq-8.19.2-emacs-29.3 - coq-8.19.2-emacs-29.4 - coq-8.20.0-emacs-26.3 - coq-8.20.0-emacs-27.1 @@ -277,10 +281,12 @@ jobs: - coq-8.18.0-emacs-26.3 - coq-8.18.0-emacs-27.1 - coq-8.18.0-emacs-28.2 + - coq-8.18.0-emacs-29.3 - coq-8.18.0-emacs-29.4 - coq-8.19.2-emacs-26.3 - coq-8.19.2-emacs-27.1 - coq-8.19.2-emacs-28.2 + - coq-8.19.2-emacs-29.3 - coq-8.19.2-emacs-29.4 - coq-8.20.0-emacs-26.3 - coq-8.20.0-emacs-27.1 diff --git a/ci/doc/README.md b/ci/doc/README.md index a59e5803a..e28eaf1e2 100644 --- a/ci/doc/README.md +++ b/ci/doc/README.md @@ -168,28 +168,27 @@ This results in -63 +62 containers. -| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 | -|---------+------+------+------+------+------+------+------+------+------+------+------| -| 8.8.2 | H | | | | | | | | | | | -| 8.9.1 | | H | | | | | | | | | | -| 8.10.2 | | | H | | | | | | | | | -| 8.11.2 | | | SUP | | | | | | | | N | -| 8.12.2 | | | SUP | H | | | | | | | N | -| 8.13.2 | | | SUP | | H | | | | | | N | -| 8.14.1 | | | SUP | | H | | | | | | N | -| 8.15.2 | | | SUP | SUP | | H | | | | | N | -| 8.16.1 | | | X | X | X | X | X | X | X | X | X | -| 8.17.1 | | | X | X | X | X | X | X | X | X | X | -| 8.18.0 | | | X | X | X | X | X | X | X | X | X | -| 8.19.2 | | | X | X | X | X | X | X | X | X | X | -| 8.20.0 | | | X | X | X | X | X | X | X | X | X | +| | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 | +|---------+------+------+------+------+------+------+------+------+------+------| +| 8.9.1 | H | | | | | | | | | | +| 8.10.2 | | H | | | | | | | | | +| 8.11.2 | | SUP | | | | | | | | N | +| 8.12.2 | | SUP | H | | | | | | | N | +| 8.13.2 | | SUP | | H | | | | | | N | +| 8.14.1 | | SUP | | H | | | | | | N | +| 8.15.2 | | SUP | SUP | | H | | | | | N | +| 8.16.1 | | X | X | X | X | X | X | X | X | X | +| 8.17.1 | | X | X | X | X | X | X | X | X | X | +| 8.18.0 | | X | X | X | X | X | X | X | X | X | +| 8.19.2 | | X | X | X | X | X | X | X | X | X | +| 8.20.0 | | X | X | X | X | X | X | X | X | X | In the table above, @@ -286,28 +285,27 @@ This results in -35 +37 version pairs for the Proof General interaction tests with Coq. -| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 | -|---------+------+------+------+------+------+------+------+------+------+------+------| -| 8.8.2 | | | | | | | | | | | | -| 8.9.1 | | | | | | | | | | | | -| 8.10.2 | | | | | | | | | | | | -| 8.11.2 | | | SUP | | | | | | | | N | -| 8.12.2 | | | | H | | | | | | | N | -| 8.13.2 | | | | | H | | | | | | N | -| 8.14.1 | | | | | H | | | | | | N | -| 8.15.2 | | | | SUP | | H | | | | | N | -| 8.16.1 | | | | | | | SUP | | | | N | -| 8.17.1 | | | X | X | | | X | H | | | N | -| 8.18.0 | | | X | X | | | X | | | | N | -| 8.19.2 | | | X | X | | | X | | | | N | -| 8.20.0 | | | X | X | N | N | X | N | N | N | N | +| | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 | +|---------+------+------+------+------+------+------+------+------+------+------| +| 8.9.1 | | | | | | | | | | | +| 8.10.2 | | | | | | | | | | | +| 8.11.2 | | SUP | | | | | | | | N | +| 8.12.2 | | | H | | | | | | | N | +| 8.13.2 | | | | H | | | | | | N | +| 8.14.1 | | | | H | | | | | | N | +| 8.15.2 | | | SUP | | H | | | | | N | +| 8.16.1 | | | | | | SUP | | | | N | +| 8.17.1 | | X | X | | | X | H | | | N | +| 8.18.0 | | X | X | | | X | | | SUP | N | +| 8.19.2 | | X | X | | | X | | | X | N | +| 8.20.0 | | X | X | N | N | X | N | N | X | N | See [Container build strategy](#contbuild) for an explanation of the @@ -317,7 +315,7 @@ In summary, all Proof General testing jobs run -134 +140 github checks. diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org index ad22dee64..a72a3139f 100644 --- a/ci/doc/coq-emacs-releases.org +++ b/ci/doc/coq-emacs-releases.org @@ -17,6 +17,7 @@ | 2024/06 | 8.19.2 | 29.4 | | | | | 2024/03 | 8.19.1 | 29.3 | | | | | 2024/01 | 8.19.0 | 29.2 | | | | +| 2024/04 | | 29.3 | ubu 24 noble num | 2029/06 | | | 2023/09 | 8.18.0 | | | | | | 2023/07 | | 29.1 | | | X | | 2023/06 | 8.17.1 | | | | | diff --git a/ci/doc/currently-used-coq-emacs-versions b/ci/doc/currently-used-coq-emacs-versions index e681d2581..3977425c1 100644 --- a/ci/doc/currently-used-coq-emacs-versions +++ b/ci/doc/currently-used-coq-emacs-versions @@ -1,4 +1,3 @@ -coq-8.8.2-emacs-26.1 coq-8.9.1-emacs-26.2 coq-8.10.2-emacs-26.3 coq-8.11.2-emacs-26.3 diff --git a/ci/doc/currently-used-coq-nix-versions b/ci/doc/currently-used-coq-nix-versions index ccb4dff58..da99eff03 100644 --- a/ci/doc/currently-used-coq-nix-versions +++ b/ci/doc/currently-used-coq-nix-versions @@ -1,4 +1,3 @@ -8.8.2 8.9.1 8.10.2 8.11.2