[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general b30d65de80 2/2: Merge pull request #792 from
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general b30d65de80 2/2: Merge pull request #792 from hendriktews/del-cont |
|
Date: |
Fri, 4 Oct 2024 10:00:49 -0400 (EDT) |
branch: elpa/proof-general
commit b30d65de803148bcd3408ac334b5eab01c98a0ae
Merge: 1ffca70b2f 88add4d85d
Author: hendriktews <hendrik@askra.de>
Commit: GitHub <noreply@github.com>
Merge pull request #792 from hendriktews/del-cont
CI: add Ubuntu 24 release; delete unused containers
---
.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 ef1edc75d5..eb45bc7fe2 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 a59e5803ad..e28eaf1e25 100644
--- a/ci/doc/README.md
+++ b/ci/doc/README.md
@@ -168,28 +168,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 -->
-63
+62
<!-- 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 |
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
|
<!-- CIPG change marker end -->
In the table above,
@@ -286,28 +285,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 -->
-35
+37
<!-- 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 |
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
|
<!-- CIPG change marker end -->
See [Container build strategy](#contbuild) for an explanation of the
@@ -317,7 +315,7 @@ In summary, all Proof General testing jobs run
<!-- The content between the CIPG markers is automatically changed by
!-- the cipg program. Do not change these markers. -->
<!-- CIPG change marker: total-checks-number -->
-134
+140
<!-- CIPG change marker end -->
github checks.
diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org
index ad22dee645..a72a3139f2 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 e681d25815..3977425c18 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 ccb4dff585..da99eff035 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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/proof-general b30d65de80 2/2: Merge pull request #792 from hendriktews/del-cont,
ELPA Syncer <=