[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 311a6b74d6: CI: update for Emacs 29.2
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general 311a6b74d6: CI: update for Emacs 29.2 |
|
Date: |
Sun, 21 Jan 2024 19:00:29 -0500 (EST) |
branch: elpa/proof-general
commit 311a6b74d6b84941f3750a32b1eee6fd35428c05
Author: Hendrik Tews <hendrik@askra.de>
Commit: hendriktews <hendrik@askra.de>
CI: update for Emacs 29.2
---
.github/workflows/test.yml | 50 ++++++++++++++++++++++-------------
ci/doc/README.md | 60 +++++++++++++++++++++---------------------
ci/doc/README.pdf | Bin 63794 -> 63810 bytes
ci/doc/coq-emacs-releases.org | 1 +
4 files changed, 62 insertions(+), 49 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index dce7395a45..0ccb501a9c 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 72711eae78..9414c59207 100644
--- 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
index 7e0a38d637..47479307bf 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 7532a2d7c2..983aa167b8 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 | | | |
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/proof-general 311a6b74d6: CI: update for Emacs 29.2,
ELPA Syncer <=