Skip to content

Commit

Permalink
Merge pull request ProofGeneral#787 from hendriktews/8.20
Browse files Browse the repository at this point in the history 
CI: add Coq 8.20
  • Loading branch information
@hendriktews
hendriktews authored Sep 9, 2024
2 parents 3a99da2 + 5817902 commit 5e14b97
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 5e14b97

Please sign in to comment.