branch: elpa/proof-general
commit 491857f378b27286d82ee8a26d3e18bcace7527a
Author: Hendrik Tews <hend...@askra.de>
Commit: Hendrik Tews <hend...@askra.de>
CI: add Coq/Rocq 9.0+rc1
---
.github/workflows/test.yml | 27 +++++++
ci/doc/README.md | 8 +-
ci/doc/coq-emacs-releases.org | 123 ++++++++++++++++---------------
ci/doc/currently-used-coq-emacs-versions | 9 +++
ci/doc/currently-used-coq-nix-versions | 1 +
5 files changed, 104 insertions(+), 64 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index a303453960..b025c07bef 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -142,6 +142,15 @@ jobs:
- coq-8.20.1-emacs-29.2
- coq-8.20.1-emacs-29.3
- coq-8.20.1-emacs-29.4
+ - coq-9.0-rc1-emacs-26.3
+ - coq-9.0-rc1-emacs-27.1
+ - coq-9.0-rc1-emacs-27.2
+ - coq-9.0-rc1-emacs-28.1
+ - coq-9.0-rc1-emacs-28.2
+ - coq-9.0-rc1-emacs-29.1
+ - coq-9.0-rc1-emacs-29.2
+ - coq-9.0-rc1-emacs-29.3
+ - coq-9.0-rc1-emacs-29.4
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
@@ -217,6 +226,15 @@ jobs:
- coq-8.20.1-emacs-29.2
- coq-8.20.1-emacs-29.3
- coq-8.20.1-emacs-29.4
+ - coq-9.0-rc1-emacs-26.3
+ - coq-9.0-rc1-emacs-27.1
+ - coq-9.0-rc1-emacs-27.2
+ - coq-9.0-rc1-emacs-28.1
+ - coq-9.0-rc1-emacs-28.2
+ - coq-9.0-rc1-emacs-29.1
+ - coq-9.0-rc1-emacs-29.2
+ - coq-9.0-rc1-emacs-29.3
+ - coq-9.0-rc1-emacs-29.4
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
@@ -288,6 +306,15 @@ jobs:
- coq-8.20.1-emacs-29.2
- coq-8.20.1-emacs-29.3
- coq-8.20.1-emacs-29.4
+ - coq-9.0-rc1-emacs-26.3
+ - coq-9.0-rc1-emacs-27.1
+ - coq-9.0-rc1-emacs-27.2
+ - coq-9.0-rc1-emacs-28.1
+ - coq-9.0-rc1-emacs-28.2
+ - coq-9.0-rc1-emacs-29.1
+ - coq-9.0-rc1-emacs-29.2
+ - coq-9.0-rc1-emacs-29.3
+ - coq-9.0-rc1-emacs-29.4
# 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
index 6319aaf48d..e312e613ef 100644
--- a/ci/doc/README.md
+++ b/ci/doc/README.md
@@ -169,7 +169,7 @@ 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 -->
-57
+66
<!-- CIPG change marker end -->
containers.
@@ -190,6 +190,7 @@ containers.
| 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.1 | | X | X | X | X | X | X | X | X | X
|
+| 9.0-rc1 | | RC | RC | RC | RC | RC | RC | RC | RC |
RC |
<!-- CIPG change marker end -->
In the table above,
@@ -287,7 +288,7 @@ 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 -->
-34
+43
<!-- CIPG change marker end -->
version pairs for the Proof General interaction tests with Coq.
@@ -308,6 +309,7 @@ version pairs for the Proof General interaction tests with
Coq.
| 8.18.0 | | X | X | | | X | | | X | N
|
| 8.19.2 | | X | X | | | X | | | X | N
|
| 8.20.1 | | X | X | N | N | X | N | N | X | N
|
+| 9.0-rc1 | | RC | RC | RC | RC | RC | RC | RC | RC |
RC |
<!-- CIPG change marker end -->
See [Container build strategy](#contbuild) for an explanation of the
@@ -317,7 +319,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 -->
-131
+158
<!-- CIPG change marker end -->
github checks.
diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org
index 80649c6887..67e86a6fbc 100644
--- a/ci/doc/coq-emacs-releases.org
+++ b/ci/doc/coq-emacs-releases.org
@@ -11,64 +11,65 @@
automatically, therefore please observe the requirements in Section
"Release table" in file README.md!
-| date | coq | emacs | distribution name | EOL | historic |
-|---------+--------+-------+-------------------+----------+----------|
-| 2025/01 | 8.20.1 | | | | |
-| 2024/09 | 8.20.0 | | | | |
-| 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 | | | | |
-| 2023/10 | | 29.1 | ubu 23 mantic mi | 2024/07 | |
-| 2023/03 | 8.17.0 | | | | |
-| 2023/06 | | | deb 12 bookworm | 2026/06? | |
-| 2023/04 | | | ubu 23 lun lobs | 2024/01 | |
-| 2022/11 | 8.16.1 | | | | X |
-| 2022/09 | 8.16.0 | 28.2 | | | |
-| 2022/05 | 8.15.2 | | | | |
-| 2022/04 | | 28.1 | | | X |
-| 2022/03 | 8.15.1 | | | | |
-| 2022/04 | | 27.1 | ubu 22 jammy jel | 2027/04 | |
-| 2022/01 | 8.15.0 | | | | |
-| 2021/12 | 8.14.1 | | | | X |
-| 2021/10 | 8.14.0 | | | | |
-| 2021/04 | 8.13.2 | | | | X |
-| 2021/03 | | 27.2 | | | |
-| 2021/02 | 8.13.1 | | | | |
-| 2021/01 | 8.13.0 | | | | |
-| 2020/12 | 8.12.2 | | | | X |
-| 2020/11 | 8.12.1 | | | | |
-| 2021/10 | | | ubu 21 impish | 2022/07 | |
-| 2021/08 | | | deb 11 bullseye | 2024/08 | |
-| 2020/08 | | 27.1 | | | |
-| 2020/07 | 8.12.0 | | | | |
-| 2020/06 | 8.11.2 | | | | |
-| 2020/04 | 8.11.1 | | | | X |
-| 2020/04 | | | ubu 20.4 focal | 2025/04 | |
-| 2020/01 | 8.11.0 | | | | |
-| 2019/11 | 8.10.2 | | | | |
-| 2019/10 | 8.10.1 | | | | X |
-| 2019/10 | 8.10.0 | | | | |
-| 2019/08 | | 26.3 | | | |
-| 2019/05 | 8.9.1 | | | | X |
-| 2019/07 | | | deb 10 buster | 2022/09 | |
-| 2019/04 | | 26.2 | | | |
-| 2019/01 | 8.9.0 | | | | |
-| 2018/09 | 8.8.2 | | | | X |
-| 2018/07 | 8.8.1 | | | | |
-| 2018/05 | | 26.1 | | | |
-| 2018/04 | 8.8.0 | | | | |
-| 2018/02 | 8.7.2 | | | | |
-| 2017/12 | 8.7.1 | | | | X |
-| 2017/10 | 8.7.0 | | | | |
-| 2017/09 | | 25.3 | | | |
-| 2017/07 | 8.6.1 | | | | X |
-| 2018/04 | | | ubu 18.04 bionic | 2023/04 | |
-| 2017/04 | | 25.2 | | | |
-| 2017/06 | | | deb 9 stretch | 2020/06 | |
-| 2016/12 | 8.6 | | | | |
-| 2016/10 | 8.5pl3 | | | | |
-| 2016/09 | | 25.1 | | | |
+| date | coq | emacs | distribution name | EOL | historic |
+|---------+---------+-------+-------------------+----------+----------|
+| 2025/01 | 9.0-rc1 | | | | |
+| 2025/01 | 8.20.1 | | | | |
+| 2024/09 | 8.20.0 | | | | |
+| 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 | | | | |
+| 2023/10 | | 29.1 | ubu 23 mantic mi | 2024/07 | |
+| 2023/03 | 8.17.0 | | | | |
+| 2023/06 | | | deb 12 bookworm | 2026/06? | |
+| 2023/04 | | | ubu 23 lun lobs | 2024/01 | |
+| 2022/11 | 8.16.1 | | | | X |
+| 2022/09 | 8.16.0 | 28.2 | | | |
+| 2022/05 | 8.15.2 | | | | |
+| 2022/04 | | 28.1 | | | X |
+| 2022/03 | 8.15.1 | | | | |
+| 2022/04 | | 27.1 | ubu 22 jammy jel | 2027/04 | |
+| 2022/01 | 8.15.0 | | | | |
+| 2021/12 | 8.14.1 | | | | X |
+| 2021/10 | 8.14.0 | | | | |
+| 2021/04 | 8.13.2 | | | | X |
+| 2021/03 | | 27.2 | | | |
+| 2021/02 | 8.13.1 | | | | |
+| 2021/01 | 8.13.0 | | | | |
+| 2020/12 | 8.12.2 | | | | X |
+| 2020/11 | 8.12.1 | | | | |
+| 2021/10 | | | ubu 21 impish | 2022/07 | |
+| 2021/08 | | | deb 11 bullseye | 2024/08 | |
+| 2020/08 | | 27.1 | | | |
+| 2020/07 | 8.12.0 | | | | |
+| 2020/06 | 8.11.2 | | | | |
+| 2020/04 | 8.11.1 | | | | X |
+| 2020/04 | | | ubu 20.4 focal | 2025/04 | |
+| 2020/01 | 8.11.0 | | | | |
+| 2019/11 | 8.10.2 | | | | |
+| 2019/10 | 8.10.1 | | | | X |
+| 2019/10 | 8.10.0 | | | | |
+| 2019/08 | | 26.3 | | | |
+| 2019/05 | 8.9.1 | | | | X |
+| 2019/07 | | | deb 10 buster | 2022/09 | |
+| 2019/04 | | 26.2 | | | |
+| 2019/01 | 8.9.0 | | | | |
+| 2018/09 | 8.8.2 | | | | X |
+| 2018/07 | 8.8.1 | | | | |
+| 2018/05 | | 26.1 | | | |
+| 2018/04 | 8.8.0 | | | | |
+| 2018/02 | 8.7.2 | | | | |
+| 2017/12 | 8.7.1 | | | | X |
+| 2017/10 | 8.7.0 | | | | |
+| 2017/09 | | 25.3 | | | |
+| 2017/07 | 8.6.1 | | | | X |
+| 2018/04 | | | ubu 18.04 bionic | 2023/04 | |
+| 2017/04 | | 25.2 | | | |
+| 2017/06 | | | deb 9 stretch | 2020/06 | |
+| 2016/12 | 8.6 | | | | |
+| 2016/10 | 8.5pl3 | | | | |
+| 2016/09 | | 25.1 | | | |
diff --git a/ci/doc/currently-used-coq-emacs-versions
b/ci/doc/currently-used-coq-emacs-versions
index 616c1ce485..2c7a467b6d 100644
--- a/ci/doc/currently-used-coq-emacs-versions
+++ b/ci/doc/currently-used-coq-emacs-versions
@@ -55,3 +55,12 @@ coq-8.20.1-emacs-29.1
coq-8.20.1-emacs-29.2
coq-8.20.1-emacs-29.3
coq-8.20.1-emacs-29.4
+coq-9.0-rc1-emacs-26.3
+coq-9.0-rc1-emacs-27.1
+coq-9.0-rc1-emacs-27.2
+coq-9.0-rc1-emacs-28.1
+coq-9.0-rc1-emacs-28.2
+coq-9.0-rc1-emacs-29.1
+coq-9.0-rc1-emacs-29.2
+coq-9.0-rc1-emacs-29.3
+coq-9.0-rc1-emacs-29.4
diff --git a/ci/doc/currently-used-coq-nix-versions
b/ci/doc/currently-used-coq-nix-versions
index d28d4f414f..fad04ae37c 100644
--- a/ci/doc/currently-used-coq-nix-versions
+++ b/ci/doc/currently-used-coq-nix-versions
@@ -10,3 +10,4 @@
8.18.0
8.19.2
8.20.1
+9.0-rc1
