CI: update CI config to include Emacs 29.3

hendriktews · Apr 29, 2024 · 90f94a4 · 90f94a4
1 parent afae495
commit 90f94a4
Show file tree

Hide file tree

Showing 4 changed files with 71 additions and 60 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -37,6 +37,7 @@ jobs:
           - 28.2
           - 29.1
           - 29.2
+          - 29.3
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -79,7 +80,7 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: magic-emacs-version
           - 28.2
-          - 29.2
+          - 29.3
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -107,37 +108,38 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: test-coq-emacs-versions
           - coq-8.11.2-emacs-26.3
-          - coq-8.11.2-emacs-29.2
+          - coq-8.11.2-emacs-29.3
           - coq-8.12.2-emacs-27.1
-          - coq-8.12.2-emacs-29.2
+          - coq-8.12.2-emacs-29.3
           - coq-8.13.2-emacs-27.2
-          - coq-8.13.2-emacs-29.2
+          - coq-8.13.2-emacs-29.3
           - coq-8.14.1-emacs-27.2
-          - coq-8.14.1-emacs-29.2
+          - coq-8.14.1-emacs-29.3
           - coq-8.15.2-emacs-27.1
           - coq-8.15.2-emacs-28.1
-          - coq-8.15.2-emacs-29.2
+          - coq-8.15.2-emacs-29.3
           - coq-8.16.1-emacs-26.3
           - coq-8.16.1-emacs-27.1
           - coq-8.16.1-emacs-28.2
-          - coq-8.16.1-emacs-29.2
+          - coq-8.16.1-emacs-29.3
           - coq-8.17.1-emacs-26.3
           - coq-8.17.1-emacs-27.1
           - coq-8.17.1-emacs-28.2
           - coq-8.17.1-emacs-29.1
-          - coq-8.17.1-emacs-29.2
+          - coq-8.17.1-emacs-29.3
           - 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.1
-          - coq-8.18.0-emacs-29.2
+          - coq-8.18.0-emacs-29.3
           - coq-8.19.1-emacs-26.3
           - coq-8.19.1-emacs-27.1
           - coq-8.19.1-emacs-27.2
           - coq-8.19.1-emacs-28.1
           - coq-8.19.1-emacs-28.2
           - coq-8.19.1-emacs-29.1
           - coq-8.19.1-emacs-29.2
+          - coq-8.19.1-emacs-29.3
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -180,37 +182,38 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: compile-coq-emacs-versions
           - coq-8.11.2-emacs-26.3
-          - coq-8.11.2-emacs-29.2
+          - coq-8.11.2-emacs-29.3
           - coq-8.12.2-emacs-27.1
-          - coq-8.12.2-emacs-29.2
+          - coq-8.12.2-emacs-29.3
           - coq-8.13.2-emacs-27.2
-          - coq-8.13.2-emacs-29.2
+          - coq-8.13.2-emacs-29.3
           - coq-8.14.1-emacs-27.2
-          - coq-8.14.1-emacs-29.2
+          - coq-8.14.1-emacs-29.3
           - coq-8.15.2-emacs-27.1
           - coq-8.15.2-emacs-28.1
-          - coq-8.15.2-emacs-29.2
+          - coq-8.15.2-emacs-29.3
           - coq-8.16.1-emacs-26.3
           - coq-8.16.1-emacs-27.1
           - coq-8.16.1-emacs-28.2
-          - coq-8.16.1-emacs-29.2
+          - coq-8.16.1-emacs-29.3
           - coq-8.17.1-emacs-26.3
           - coq-8.17.1-emacs-27.1
           - coq-8.17.1-emacs-28.2
           - coq-8.17.1-emacs-29.1
-          - coq-8.17.1-emacs-29.2
+          - coq-8.17.1-emacs-29.3
           - 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.1
-          - coq-8.18.0-emacs-29.2
+          - coq-8.18.0-emacs-29.3
           - coq-8.19.1-emacs-26.3
           - coq-8.19.1-emacs-27.1
           - coq-8.19.1-emacs-27.2
           - coq-8.19.1-emacs-28.1
           - coq-8.19.1-emacs-28.2
           - coq-8.19.1-emacs-29.1
           - coq-8.19.1-emacs-29.2
+          - coq-8.19.1-emacs-29.3
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -249,37 +252,38 @@ jobs:
           # changed by the cipg program. Do not change these markers.
           # CIPG change marker: simple-coq-emacs-versions
           - coq-8.11.2-emacs-26.3
-          - coq-8.11.2-emacs-29.2
+          - coq-8.11.2-emacs-29.3
           - coq-8.12.2-emacs-27.1
-          - coq-8.12.2-emacs-29.2
+          - coq-8.12.2-emacs-29.3
           - coq-8.13.2-emacs-27.2
-          - coq-8.13.2-emacs-29.2
+          - coq-8.13.2-emacs-29.3
           - coq-8.14.1-emacs-27.2
-          - coq-8.14.1-emacs-29.2
+          - coq-8.14.1-emacs-29.3
           - coq-8.15.2-emacs-27.1
           - coq-8.15.2-emacs-28.1
-          - coq-8.15.2-emacs-29.2
+          - coq-8.15.2-emacs-29.3
           - coq-8.16.1-emacs-26.3
           - coq-8.16.1-emacs-27.1
           - coq-8.16.1-emacs-28.2
-          - coq-8.16.1-emacs-29.2
+          - coq-8.16.1-emacs-29.3
           - coq-8.17.1-emacs-26.3
           - coq-8.17.1-emacs-27.1
           - coq-8.17.1-emacs-28.2
           - coq-8.17.1-emacs-29.1
-          - coq-8.17.1-emacs-29.2
+          - coq-8.17.1-emacs-29.3
           - 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.1
-          - coq-8.18.0-emacs-29.2
+          - coq-8.18.0-emacs-29.3
           - coq-8.19.1-emacs-26.3
           - coq-8.19.1-emacs-27.1
           - coq-8.19.1-emacs-27.2
           - coq-8.19.1-emacs-28.1
           - coq-8.19.1-emacs-28.2
           - coq-8.19.1-emacs-29.1
           - coq-8.19.1-emacs-29.2
+          - coq-8.19.1-emacs-29.3
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -328,6 +332,7 @@ jobs:
           - 28.2
           - 29.1
           - 29.2
+          - 29.3
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -363,6 +368,7 @@ jobs:
           - 28.2
           - 29.1
           - 29.2
+          - 29.3
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false

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 -->
-51
+56
 <!-- 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 | 29.2 |
-|---------+------+------+------+------+------+------+------+------+------|
-|   8.8.2 |   H  |      |      |      |      |      |      |      |      |
-|   8.9.1 |      |   H  |      |      |      |      |      |      |      |
-|  8.10.2 |      |      |   H  |      |      |      |      |      |      |
-|  8.11.2 |      |      |  SUP |      |      |      |      |      |   N  |
-|  8.12.2 |      |      |  SUP |  SUP |      |      |      |      |   N  |
-|  8.13.2 |      |      |  SUP |  SUP |   H  |      |      |      |   N  |
-|  8.14.1 |      |      |  SUP |  SUP |   H  |      |      |      |   N  |
-|  8.15.2 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.16.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.17.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.18.0 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.19.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 |
+|---------+------+------+------+------+------+------+------+------+------+------|
+|   8.8.2 |   H  |      |      |      |      |      |      |      |      |      |
+|   8.9.1 |      |   H  |      |      |      |      |      |      |      |      |
+|  8.10.2 |      |      |   H  |      |      |      |      |      |      |      |
+|  8.11.2 |      |      |  SUP |      |      |      |      |      |      |   N  |
+|  8.12.2 |      |      |  SUP |  SUP |      |      |      |      |      |   N  |
+|  8.13.2 |      |      |  SUP |  SUP |   H  |      |      |      |      |   N  |
+|  8.14.1 |      |      |  SUP |  SUP |   H  |      |      |      |      |   N  |
+|  8.15.2 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.16.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.17.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.18.0 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.19.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
 <!-- 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 -->
-32
+33
 <!-- 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 | 29.2 |
-|---------+------+------+------+------+------+------+------+------+------|
-|   8.8.2 |      |      |      |      |      |      |      |      |      |
-|   8.9.1 |      |      |      |      |      |      |      |      |      |
-|  8.10.2 |      |      |      |      |      |      |      |      |      |
-|  8.11.2 |      |      |  SUP |      |      |      |      |      |   N  |
-|  8.12.2 |      |      |      |  SUP |      |      |      |      |   N  |
-|  8.13.2 |      |      |      |      |   H  |      |      |      |   N  |
-|  8.14.1 |      |      |      |      |   H  |      |      |      |   N  |
-|  8.15.2 |      |      |      |  SUP |      |   H  |      |      |   N  |
-|  8.16.1 |      |      |   X  |   X  |      |      |   X  |      |   N  |
-|  8.17.1 |      |      |   X  |   X  |      |      |   X  |  SUP |   N  |
-|  8.18.0 |      |      |   X  |   X  |      |      |   X  |   X  |   N  |
-|  8.19.1 |      |      |   X  |   X  |   N  |   N  |   X  |   X  |   N  |
+|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 |
+|---------+------+------+------+------+------+------+------+------+------+------|
+|   8.8.2 |      |      |      |      |      |      |      |      |      |      |
+|   8.9.1 |      |      |      |      |      |      |      |      |      |      |
+|  8.10.2 |      |      |      |      |      |      |      |      |      |      |
+|  8.11.2 |      |      |  SUP |      |      |      |      |      |      |   N  |
+|  8.12.2 |      |      |      |  SUP |      |      |      |      |      |   N  |
+|  8.13.2 |      |      |      |      |   H  |      |      |      |      |   N  |
+|  8.14.1 |      |      |      |      |   H  |      |      |      |      |   N  |
+|  8.15.2 |      |      |      |  SUP |      |   H  |      |      |      |   N  |
+|  8.16.1 |      |      |   X  |   X  |      |      |   X  |      |      |   N  |
+|  8.17.1 |      |      |   X  |   X  |      |      |   X  |  SUP |      |   N  |
+|  8.18.0 |      |      |   X  |   X  |      |      |   X  |   X  |      |   N  |
+|  8.19.1 |      |      |   X  |   X  |   N  |   N  |   X  |   X  |   N  |   N  |
 <!-- CIPG change marker end -->
 
 See [Container build strategy](#contbuild) for an explanation of the

diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org
@@ -13,7 +13,7 @@
 
 | date    |    coq | emacs | distribution name | EOL      | historic |
 |---------+--------+-------+-------------------+----------+----------|
-| 2024/03 | 8.19.1 |       |                   |          |          |
+| 2024/03 | 8.19.1 |  29.3 |                   |          |          |
 | 2024/01 | 8.19.0 |  29.2 |                   |          |          |
 | 2023/09 | 8.18.0 |       |                   |          |          |
 | 2023/07 |        |  29.1 |                   |          |          |

diff --git a/ci/doc/currently-used-coq-emacs-versions b/ci/doc/currently-used-coq-emacs-versions
@@ -2,50 +2,55 @@ 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
-coq-8.11.2-emacs-29.2
+coq-8.11.2-emacs-29.3
 coq-8.12.2-emacs-26.3
 coq-8.12.2-emacs-27.1
-coq-8.12.2-emacs-29.2
+coq-8.12.2-emacs-29.3
 coq-8.13.2-emacs-26.3
 coq-8.13.2-emacs-27.1
 coq-8.13.2-emacs-27.2
-coq-8.13.2-emacs-29.2
+coq-8.13.2-emacs-29.3
 coq-8.14.1-emacs-26.3
 coq-8.14.1-emacs-27.1
 coq-8.14.1-emacs-27.2
-coq-8.14.1-emacs-29.2
+coq-8.14.1-emacs-29.3
 coq-8.15.2-emacs-26.3
 coq-8.15.2-emacs-27.1
 coq-8.15.2-emacs-27.2
 coq-8.15.2-emacs-28.1
 coq-8.15.2-emacs-28.2
 coq-8.15.2-emacs-29.1
 coq-8.15.2-emacs-29.2
+coq-8.15.2-emacs-29.3
 coq-8.16.1-emacs-26.3
 coq-8.16.1-emacs-27.1
 coq-8.16.1-emacs-27.2
 coq-8.16.1-emacs-28.1
 coq-8.16.1-emacs-28.2
 coq-8.16.1-emacs-29.1
 coq-8.16.1-emacs-29.2
+coq-8.16.1-emacs-29.3
 coq-8.17.1-emacs-26.3
 coq-8.17.1-emacs-27.1
 coq-8.17.1-emacs-27.2
 coq-8.17.1-emacs-28.1
 coq-8.17.1-emacs-28.2
 coq-8.17.1-emacs-29.1
 coq-8.17.1-emacs-29.2
+coq-8.17.1-emacs-29.3
 coq-8.18.0-emacs-26.3
 coq-8.18.0-emacs-27.1
 coq-8.18.0-emacs-27.2
 coq-8.18.0-emacs-28.1
 coq-8.18.0-emacs-28.2
 coq-8.18.0-emacs-29.1
 coq-8.18.0-emacs-29.2
+coq-8.18.0-emacs-29.3
 coq-8.19.1-emacs-26.3
 coq-8.19.1-emacs-27.1
 coq-8.19.1-emacs-27.2
 coq-8.19.1-emacs-28.1
 coq-8.19.1-emacs-28.2
 coq-8.19.1-emacs-29.1
 coq-8.19.1-emacs-29.2
+coq-8.19.1-emacs-29.3