[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general a6017ae99b 2/5: CI: update for Coq 8.19+rc1
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general a6017ae99b 2/5: CI: update for Coq 8.19+rc1 |
|
Date: |
Tue, 2 Jan 2024 10:01:24 -0500 (EST) |
branch: elpa/proof-general
commit a6017ae99b36d843b78886f8794c99465491deaf
Author: Hendrik Tews <hendrik@askra.de>
Commit: hendriktews <hendrik@askra.de>
CI: update for Coq 8.19+rc1
- add tests with 8.19+rc1
- retire some 8.15 tests, because 8.15 is now older than 18 month
---
.github/workflows/test.yml | 30 ++++++++++++++++----
ci/doc/README.md | 64 +++++++++++++++++++++---------------------
ci/doc/README.pdf | Bin 48307 -> 48354 bytes
ci/doc/coq-emacs-releases.org | 1 +
4 files changed, 57 insertions(+), 38 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 669d89c0ab..5c2de7b37b 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -97,10 +97,8 @@ jobs:
- coq-8.13-emacs-29.1
- coq-8.14-emacs-27.2
- coq-8.14-emacs-29.1
- - coq-8.15-emacs-26.3
- coq-8.15-emacs-27.1
- coq-8.15-emacs-28.1
- - coq-8.15-emacs-28.2
- coq-8.15-emacs-29.1
- coq-8.16-emacs-26.3
- coq-8.16-emacs-27.1
@@ -116,6 +114,14 @@ jobs:
- coq-8.18-emacs-28.1
- coq-8.18-emacs-28.2
- coq-8.18-emacs-29.1
+ - coq-8.19-rc-emacs-26.1
+ - coq-8.19-rc-emacs-26.2
+ - coq-8.19-rc-emacs-26.3
+ - coq-8.19-rc-emacs-27.1
+ - coq-8.19-rc-emacs-27.2
+ - coq-8.19-rc-emacs-28.1
+ - coq-8.19-rc-emacs-28.2
+ - coq-8.19-rc-emacs-29.1
# at most 20 concurrent jobs per free account
# cf.
https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
max-parallel: 6
@@ -164,10 +170,8 @@ jobs:
- coq-8.13-emacs-29.1
- coq-8.14-emacs-27.2
- coq-8.14-emacs-29.1
- - coq-8.15-emacs-26.3
- coq-8.15-emacs-27.1
- coq-8.15-emacs-28.1
- - coq-8.15-emacs-28.2
- coq-8.15-emacs-29.1
- coq-8.16-emacs-26.3
- coq-8.16-emacs-27.1
@@ -183,6 +187,14 @@ jobs:
- coq-8.18-emacs-28.1
- coq-8.18-emacs-28.2
- coq-8.18-emacs-29.1
+ - coq-8.19-rc-emacs-26.1
+ - coq-8.19-rc-emacs-26.2
+ - coq-8.19-rc-emacs-26.3
+ - coq-8.19-rc-emacs-27.1
+ - coq-8.19-rc-emacs-27.2
+ - coq-8.19-rc-emacs-28.1
+ - coq-8.19-rc-emacs-28.2
+ - coq-8.19-rc-emacs-29.1
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
steps:
@@ -224,10 +236,8 @@ jobs:
- coq-8.13-emacs-29.1
- coq-8.14-emacs-27.2
- coq-8.14-emacs-29.1
- - coq-8.15-emacs-26.3
- coq-8.15-emacs-27.1
- coq-8.15-emacs-28.1
- - coq-8.15-emacs-28.2
- coq-8.15-emacs-29.1
- coq-8.16-emacs-26.3
- coq-8.16-emacs-27.1
@@ -243,6 +253,14 @@ jobs:
- coq-8.18-emacs-28.1
- coq-8.18-emacs-28.2
- coq-8.18-emacs-29.1
+ - coq-8.19-rc-emacs-26.1
+ - coq-8.19-rc-emacs-26.2
+ - coq-8.19-rc-emacs-26.3
+ - coq-8.19-rc-emacs-27.1
+ - coq-8.19-rc-emacs-27.2
+ - coq-8.19-rc-emacs-28.1
+ - coq-8.19-rc-emacs-28.2
+ - coq-8.19-rc-emacs-29.1
# 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
index 98efd929a3..71875fbf64 100644
--- a/ci/doc/README.md
+++ b/ci/doc/README.md
@@ -137,22 +137,22 @@ we build containers for the historic pairs of the last 6
years as
passively supported versions.
-This results in 43 containers.
-
-| | 25.3 | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 |
-|---------+------+------+------+------+------+------+------+------+------|
-| 8.7 | H | | | | | | | | |
-| 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 | | | | X | X | X | X | X | X |
-| 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 |
+This results in 48 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 |
In the table above,
@@ -245,23 +245,23 @@ following points is true for *cv* and *ev*.
Running Proof General interaction tests with Coq for passively
supported versions is work in progress.
-This results in 26 version pairs for the Proof General interaction
+This results in 33 version pairs for the Proof General interaction
tests with Coq.
-| | 25.3 | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 |
-|---------+------+------+------+------+------+------+------+------+------|
-| 8.7 | | | | | | | | | |
-| 8.8 | | | | | | | | | |
-| 8.9 | | | | | | | | | |
-| 8.10 | | | | | | | | | |
-| 8.11 | | | | SUP | | | | | N |
-| 8.12 | | | | | SUP | | | | N |
-| 8.13 | | | | | | H | | | N |
-| 8.14 | | | | | | H | | | N |
-| 8.15 | | | | X | X | | H | | N |
-| 8.16 | | | | X | X | | | SUP | N |
-| 8.17 | | | | X | X | | | X | SUP |
-| 8.18 | | | | X | X | N | N | X | X |
+| | 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 |
See [Container build strategy](#contbuild) for an explanation of the
symbols in the table.
@@ -363,6 +363,6 @@ that `cipg` can process it.
<!--
!-- Local Variables:
- !-- compile-command: "pandoc -N README.md -o README.pdf"
+ !-- compile-command: "pandoc -N --pdf-engine=lualatex README.md -o README.pdf"
!-- End:
-->
diff --git a/ci/doc/README.pdf b/ci/doc/README.pdf
index fdc31be251..227c628252 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 dfb167f835..93269359e8 100644
--- a/ci/doc/coq-emacs-releases.org
+++ b/ci/doc/coq-emacs-releases.org
@@ -5,6 +5,7 @@
| date | coq | emacs | distribution name | EOL | historic |
|---------+--------+-------+-------------------+----------+----------|
+| 2023/12 | 8.19rc | | | | |
| 2023/09 | 8.18.0 | | | | |
| 2023/07 | | 29.1 | | | |
| 2023/06 | 8.17.1 | | | | |