Skip to content

Commit

Permalink
CI: add Coq 8.20
Browse files Browse the repository at this point in the history 
Testing for Emacs 29.1 is and will be further reduced, because Ubuntu
23 reached it's end of life. Some containers for Emacs 27.1 will soon
be deleted, because Debian Bullseye reached it's end of life.
  • Loading branch information
@hendriktews
hendriktews committed Sep 7, 2024
1 parent 3a99da2 commit 5817902
Show file tree
Hide file tree
Showing 5 changed files with 51 additions and 71 deletions.
72 changes: 27 additions & 45 deletions .github/workflows/test.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -129,26 +129,20 @@ 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.1
- 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-27.2
- coq-8.19.2-emacs-28.1
- coq-8.19.2-emacs-28.2
- coq-8.19.2-emacs-29.1
- coq-8.19.2-emacs-29.2
- coq-8.19.2-emacs-29.3
- coq-8.19.2-emacs-29.4
- coq-8.20-rc1-emacs-26.3
- coq-8.20-rc1-emacs-27.1
- coq-8.20-rc1-emacs-27.2
- coq-8.20-rc1-emacs-28.1
- coq-8.20-rc1-emacs-28.2
- coq-8.20-rc1-emacs-29.1
- coq-8.20-rc1-emacs-29.2
- coq-8.20-rc1-emacs-29.3
- coq-8.20-rc1-emacs-29.4
- coq-8.20.0-emacs-26.3
- coq-8.20.0-emacs-27.1
- coq-8.20.0-emacs-27.2
- coq-8.20.0-emacs-28.1
- coq-8.20.0-emacs-28.2
- coq-8.20.0-emacs-29.1
- coq-8.20.0-emacs-29.2
- coq-8.20.0-emacs-29.3
- coq-8.20.0-emacs-29.4
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
Expand Down Expand Up @@ -211,26 +205,20 @@ 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.1
- 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-27.2
- coq-8.19.2-emacs-28.1
- coq-8.19.2-emacs-28.2
- coq-8.19.2-emacs-29.1
- coq-8.19.2-emacs-29.2
- coq-8.19.2-emacs-29.3
- coq-8.19.2-emacs-29.4
- coq-8.20-rc1-emacs-26.3
- coq-8.20-rc1-emacs-27.1
- coq-8.20-rc1-emacs-27.2
- coq-8.20-rc1-emacs-28.1
- coq-8.20-rc1-emacs-28.2
- coq-8.20-rc1-emacs-29.1
- coq-8.20-rc1-emacs-29.2
- coq-8.20-rc1-emacs-29.3
- coq-8.20-rc1-emacs-29.4
- coq-8.20.0-emacs-26.3
- coq-8.20.0-emacs-27.1
- coq-8.20.0-emacs-27.2
- coq-8.20.0-emacs-28.1
- coq-8.20.0-emacs-28.2
- coq-8.20.0-emacs-29.1
- coq-8.20.0-emacs-29.2
- coq-8.20.0-emacs-29.3
- coq-8.20.0-emacs-29.4
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
Expand Down Expand Up @@ -289,26 +277,20 @@ 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.1
- 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-27.2
- coq-8.19.2-emacs-28.1
- coq-8.19.2-emacs-28.2
- coq-8.19.2-emacs-29.1
- coq-8.19.2-emacs-29.2
- coq-8.19.2-emacs-29.3
- coq-8.19.2-emacs-29.4
- coq-8.20-rc1-emacs-26.3
- coq-8.20-rc1-emacs-27.1
- coq-8.20-rc1-emacs-27.2
- coq-8.20-rc1-emacs-28.1
- coq-8.20-rc1-emacs-28.2
- coq-8.20-rc1-emacs-29.1
- coq-8.20-rc1-emacs-29.2
- coq-8.20-rc1-emacs-29.3
- coq-8.20-rc1-emacs-29.4
- coq-8.20.0-emacs-26.3
- coq-8.20.0-emacs-27.1
- coq-8.20.0-emacs-27.2
- coq-8.20.0-emacs-28.1
- coq-8.20.0-emacs-28.2
- coq-8.20.0-emacs-29.1
- coq-8.20.0-emacs-29.2
- coq-8.20.0-emacs-29.3
- coq-8.20.0-emacs-29.4
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
Expand Down
24 changes: 12 additions & 12 deletions ci/doc/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -168,7 +168,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 -->
65
63
<!-- CIPG change marker end -->
containers.

Expand All @@ -181,15 +181,15 @@ containers.
| 8.9.1 | | H | | | | | | | | | |
| 8.10.2 | | | H | | | | | | | | |
| 8.11.2 | | | SUP | | | | | | | | N |
| 8.12.2 | | | SUP | SUP | | | | | | | N |
| 8.13.2 | | | SUP | SUP | H | | | | | | N |
| 8.14.1 | | | SUP | SUP | H | | | | | | 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.20rc | | | RC | RC | RC | RC | RC | RC | RC | RC | RC |
| 8.20.0 | | | X | X | X | X | X | X | X | X | X |
<!-- CIPG change marker end -->

In the table above,
Expand Down Expand Up @@ -286,7 +286,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 -->
41
35
<!-- CIPG change marker end -->
version pairs for the Proof General interaction tests with Coq.

Expand All @@ -299,15 +299,15 @@ version pairs for the Proof General interaction tests with Coq.
| 8.9.1 | | | | | | | | | | | |
| 8.10.2 | | | | | | | | | | | |
| 8.11.2 | | | SUP | | | | | | | | N |
| 8.12.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 | X | | | N |
| 8.18.0 | | | X | X | | | X | X | | | N |
| 8.19.2 | | | X | X | N | N | X | X | N | N | N |
| 8.20rc | | | RC | RC | RC | RC | RC | RC | RC | RC | RC |
| 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 |
<!-- CIPG change marker end -->

See [Container build strategy](#contbuild) for an explanation of the
Expand All @@ -317,7 +317,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 -->
152
134
<!-- CIPG change marker end -->
github checks.

Expand Down
4 changes: 2 additions & 2 deletions ci/doc/coq-emacs-releases.org
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

| date | coq | emacs | distribution name | EOL | historic |
|---------+--------+-------+-------------------+----------+----------|
| 2024/06 | 8.20rc | | | | |
| 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 | | | |
Expand All @@ -40,7 +40,7 @@
| 2020/12 | 8.12.2 | | | | X |
| 2020/11 | 8.12.1 | | | | |
| 2021/10 | | | ubu 21 impish | 2022/07 | |
| 2021/08 | | | deb 11 bullseye | 2024/07? | |
| 2021/08 | | | deb 11 bullseye | 2024/08 | |
| 2020/08 | | 27.1 | | | |
| 2020/07 | 8.12.0 | | | | |
| 2020/06 | 8.11.2 | | | | |
Expand Down
20 changes: 9 additions & 11 deletions ci/doc/currently-used-coq-emacs-versions
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,9 @@ coq-8.12.2-emacs-26.3
coq-8.12.2-emacs-27.1
coq-8.12.2-emacs-29.4
coq-8.13.2-emacs-26.3
coq-8.13.2-emacs-27.1
coq-8.13.2-emacs-27.2
coq-8.13.2-emacs-29.4
coq-8.14.1-emacs-26.3
coq-8.14.1-emacs-27.1
coq-8.14.1-emacs-27.2
coq-8.14.1-emacs-29.4
coq-8.15.2-emacs-26.3
Expand Down Expand Up @@ -54,12 +52,12 @@ coq-8.19.2-emacs-29.1
coq-8.19.2-emacs-29.2
coq-8.19.2-emacs-29.3
coq-8.19.2-emacs-29.4
coq-8.20-rc1-emacs-26.3
coq-8.20-rc1-emacs-27.1
coq-8.20-rc1-emacs-27.2
coq-8.20-rc1-emacs-28.1
coq-8.20-rc1-emacs-28.2
coq-8.20-rc1-emacs-29.1
coq-8.20-rc1-emacs-29.2
coq-8.20-rc1-emacs-29.3
coq-8.20-rc1-emacs-29.4
coq-8.20.0-emacs-26.3
coq-8.20.0-emacs-27.1
coq-8.20.0-emacs-27.2
coq-8.20.0-emacs-28.1
coq-8.20.0-emacs-28.2
coq-8.20.0-emacs-29.1
coq-8.20.0-emacs-29.2
coq-8.20.0-emacs-29.3
coq-8.20.0-emacs-29.4
2 changes: 1 addition & 1 deletion ci/doc/currently-used-coq-nix-versions
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,4 @@
8.17.1
8.18.0
8.19.2
8.20rc
8.20.0

0 comments on commit 5817902

Please sign in to comment.