CI: update for Emacs 29.2

ProofGeneral · Jan 21, 2024 · 311a6b7 · 311a6b7
1 parent 8b8e0b1
commit 311a6b7
Show file tree

Hide file tree

Showing 4 changed files with 62 additions and 49 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -36,6 +36,7 @@ jobs:
           - 28.1
           - 28.2
           - 29.1
+          - 29.2
           # CIPG change marker end
       # at most 20 concurrent jobs per free account
       # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
@@ -81,7 +82,7 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: magic-emacs-version
           - 28.2
-          - 29.1
+          - 29.2
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -109,30 +110,32 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: test-coq-emacs-versions
           - coq-8.11-emacs-26.3
-          - coq-8.11-emacs-29.1
+          - coq-8.11-emacs-29.2
           - coq-8.12-emacs-27.1
-          - coq-8.12-emacs-29.1
+          - coq-8.12-emacs-29.2
           - coq-8.13-emacs-27.2
-          - coq-8.13-emacs-29.1
+          - coq-8.13-emacs-29.2
           - coq-8.14-emacs-27.2
-          - coq-8.14-emacs-29.1
+          - coq-8.14-emacs-29.2
           - coq-8.15-emacs-27.1
           - coq-8.15-emacs-28.1
-          - coq-8.15-emacs-29.1
+          - coq-8.15-emacs-29.2
           - coq-8.16-emacs-26.3
           - coq-8.16-emacs-27.1
           - coq-8.16-emacs-28.2
-          - coq-8.16-emacs-29.1
+          - coq-8.16-emacs-29.2
           - coq-8.17-emacs-26.3
           - coq-8.17-emacs-27.1
           - coq-8.17-emacs-28.2
           - coq-8.17-emacs-29.1
+          - coq-8.17-emacs-29.2
           - coq-8.18-emacs-26.3
           - coq-8.18-emacs-27.1
           - coq-8.18-emacs-27.2
           - coq-8.18-emacs-28.1
           - coq-8.18-emacs-28.2
           - coq-8.18-emacs-29.1
+          - coq-8.18-emacs-29.2
           - coq-8.19-rc-emacs-26.1
           - coq-8.19-rc-emacs-26.2
           - coq-8.19-rc-emacs-26.3
@@ -141,6 +144,7 @@ jobs:
           - coq-8.19-rc-emacs-28.1
           - coq-8.19-rc-emacs-28.2
           - coq-8.19-rc-emacs-29.1
+          - coq-8.19-rc-emacs-29.2
           # CIPG change marker end
       # at most 20 concurrent jobs per free account
       # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
@@ -186,30 +190,32 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: compile-coq-emacs-versions
           - coq-8.11-emacs-26.3
-          - coq-8.11-emacs-29.1
+          - coq-8.11-emacs-29.2
           - coq-8.12-emacs-27.1
-          - coq-8.12-emacs-29.1
+          - coq-8.12-emacs-29.2
           - coq-8.13-emacs-27.2
-          - coq-8.13-emacs-29.1
+          - coq-8.13-emacs-29.2
           - coq-8.14-emacs-27.2
-          - coq-8.14-emacs-29.1
+          - coq-8.14-emacs-29.2
           - coq-8.15-emacs-27.1
           - coq-8.15-emacs-28.1
-          - coq-8.15-emacs-29.1
+          - coq-8.15-emacs-29.2
           - coq-8.16-emacs-26.3
           - coq-8.16-emacs-27.1
           - coq-8.16-emacs-28.2
-          - coq-8.16-emacs-29.1
+          - coq-8.16-emacs-29.2
           - coq-8.17-emacs-26.3
           - coq-8.17-emacs-27.1
           - coq-8.17-emacs-28.2
           - coq-8.17-emacs-29.1
+          - coq-8.17-emacs-29.2
           - coq-8.18-emacs-26.3
           - coq-8.18-emacs-27.1
           - coq-8.18-emacs-27.2
           - coq-8.18-emacs-28.1
           - coq-8.18-emacs-28.2
           - coq-8.18-emacs-29.1
+          - coq-8.18-emacs-29.2
           - coq-8.19-rc-emacs-26.1
           - coq-8.19-rc-emacs-26.2
           - coq-8.19-rc-emacs-26.3
@@ -218,6 +224,7 @@ jobs:
           - coq-8.19-rc-emacs-28.1
           - coq-8.19-rc-emacs-28.2
           - coq-8.19-rc-emacs-29.1
+          - coq-8.19-rc-emacs-29.2
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -256,30 +263,32 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: simple-coq-emacs-versions
           - coq-8.11-emacs-26.3
-          - coq-8.11-emacs-29.1
+          - coq-8.11-emacs-29.2
           - coq-8.12-emacs-27.1
-          - coq-8.12-emacs-29.1
+          - coq-8.12-emacs-29.2
           - coq-8.13-emacs-27.2
-          - coq-8.13-emacs-29.1
+          - coq-8.13-emacs-29.2
           - coq-8.14-emacs-27.2
-          - coq-8.14-emacs-29.1
+          - coq-8.14-emacs-29.2
           - coq-8.15-emacs-27.1
           - coq-8.15-emacs-28.1
-          - coq-8.15-emacs-29.1
+          - coq-8.15-emacs-29.2
           - coq-8.16-emacs-26.3
           - coq-8.16-emacs-27.1
           - coq-8.16-emacs-28.2
-          - coq-8.16-emacs-29.1
+          - coq-8.16-emacs-29.2
           - coq-8.17-emacs-26.3
           - coq-8.17-emacs-27.1
           - coq-8.17-emacs-28.2
           - coq-8.17-emacs-29.1
+          - coq-8.17-emacs-29.2
           - coq-8.18-emacs-26.3
           - coq-8.18-emacs-27.1
           - coq-8.18-emacs-27.2
           - coq-8.18-emacs-28.1
           - coq-8.18-emacs-28.2
           - coq-8.18-emacs-29.1
+          - coq-8.18-emacs-29.2
           - coq-8.19-rc-emacs-26.1
           - coq-8.19-rc-emacs-26.2
           - coq-8.19-rc-emacs-26.3
@@ -288,6 +297,7 @@ jobs:
           - coq-8.19-rc-emacs-28.1
           - coq-8.19-rc-emacs-28.2
           - coq-8.19-rc-emacs-29.1
+          - coq-8.19-rc-emacs-29.2
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -335,6 +345,7 @@ jobs:
           - 28.1
           - 28.2
           - 29.1
+          - 29.2
           # CIPG change marker end
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:
@@ -370,6 +381,7 @@ jobs:
           - 28.1
           - 28.2
           - 29.1
+          - 29.2
           # CIPG change marker end
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:

diff --git a/ci/doc/README.md b/ci/doc/README.md
@@ -162,27 +162,27 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: container-number -->
-48
+53
 <!-- CIPG change marker end -->
 containers.
 
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: container-table -->
-|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 |
-|---------+------+------+------+------+------+------+------+------|
-|     8.8 |   H  |      |      |      |      |      |      |      |
-|     8.9 |      |   H  |      |      |      |      |      |      |
-|    8.10 |      |      |   H  |      |      |      |      |      |
-|    8.11 |      |      |  SUP |      |      |      |      |   N  |
-|    8.12 |      |      |  SUP |  SUP |      |      |      |   N  |
-|    8.13 |      |      |  SUP |  SUP |   H  |      |      |   N  |
-|    8.14 |      |      |  SUP |  SUP |   H  |      |      |   N  |
-|    8.15 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |
-|    8.16 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |
-|    8.17 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |
-|    8.18 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |
-| 8.19-rc |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
+|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 |
+|---------+------+------+------+------+------+------+------+------+------|
+|     8.8 |   H  |      |      |      |      |      |      |      |      |
+|     8.9 |      |   H  |      |      |      |      |      |      |      |
+|    8.10 |      |      |   H  |      |      |      |      |      |      |
+|    8.11 |      |      |  SUP |      |      |      |      |      |   N  |
+|    8.12 |      |      |  SUP |  SUP |      |      |      |      |   N  |
+|    8.13 |      |      |  SUP |  SUP |   H  |      |      |      |   N  |
+|    8.14 |      |      |  SUP |  SUP |   H  |      |      |      |   N  |
+|    8.15 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|    8.16 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|    8.17 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|    8.18 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+| 8.19-rc |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
 <!-- CIPG change marker end -->
 
 In the table above,
@@ -280,27 +280,27 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: testrun-number -->
-33
+36
 <!-- CIPG change marker end -->
 version pairs for the Proof General interaction tests with Coq.
 
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: testrun-table -->
-|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 |
-|---------+------+------+------+------+------+------+------+------|
-|     8.8 |      |      |      |      |      |      |      |      |
-|     8.9 |      |      |      |      |      |      |      |      |
-|    8.10 |      |      |      |      |      |      |      |      |
-|    8.11 |      |      |  SUP |      |      |      |      |   N  |
-|    8.12 |      |      |      |  SUP |      |      |      |   N  |
-|    8.13 |      |      |      |      |   H  |      |      |   N  |
-|    8.14 |      |      |      |      |   H  |      |      |   N  |
-|    8.15 |      |      |      |  SUP |      |   H  |      |   N  |
-|    8.16 |      |      |   X  |   X  |      |      |   X  |   N  |
-|    8.17 |      |      |   X  |   X  |      |      |   X  |  SUP |
-|    8.18 |      |      |   X  |   X  |   N  |   N  |   X  |   X  |
-| 8.19-rc |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
+|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 |
+|---------+------+------+------+------+------+------+------+------+------|
+|     8.8 |      |      |      |      |      |      |      |      |      |
+|     8.9 |      |      |      |      |      |      |      |      |      |
+|    8.10 |      |      |      |      |      |      |      |      |      |
+|    8.11 |      |      |  SUP |      |      |      |      |      |   N  |
+|    8.12 |      |      |      |  SUP |      |      |      |      |   N  |
+|    8.13 |      |      |      |      |   H  |      |      |      |   N  |
+|    8.14 |      |      |      |      |   H  |      |      |      |   N  |
+|    8.15 |      |      |      |  SUP |      |   H  |      |      |   N  |
+|    8.16 |      |      |   X  |   X  |      |      |   X  |      |   N  |
+|    8.17 |      |      |   X  |   X  |      |      |   X  |  SUP |   N  |
+|    8.18 |      |      |   X  |   X  |   N  |   N  |   X  |   X  |   N  |
+| 8.19-rc |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
 <!-- CIPG change marker end -->
 
 See [Container build strategy](#contbuild) for an explanation of the

diff --git a/ci/doc/README.pdf b/ci/doc/README.pdf
diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org
@@ -13,6 +13,7 @@
 
 | date    |    coq | emacs | distribution name | EOL      | historic |
 |---------+--------+-------+-------------------+----------+----------|
+| 2024/01 |        |  29.2 |                   |          |          |
 | 2023/12 | 8.19rc |       |                   |          |          |
 | 2023/09 | 8.18.0 |       |                   |          |          |
 | 2023/07 |        |  29.1 |                   |          |          |