diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index dce7395a4..0ccb501a9 100644 --- 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 index 72711eae7..9414c5920 100644 --- a/ci/doc/README.md +++ b/ci/doc/README.md @@ -162,27 +162,27 @@ This results in -48 +53 containers. -| | 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 | In the table above, @@ -280,27 +280,27 @@ This results in -33 +36 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 | -|---------+------+------+------+------+------+------+------+------| -| 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 | See [Container build strategy](#contbuild) for an explanation of the diff --git a/ci/doc/README.pdf b/ci/doc/README.pdf index 7e0a38d63..47479307b 100644 Binary files a/ci/doc/README.pdf and b/ci/doc/README.pdf differ diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org index 7532a2d7c..983aa167b 100644 --- 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 | | | |