Skip to content

Commit

Permalink
CI: update to Coq 8.19.2 and Emacs 29.4
Browse files Browse the repository at this point in the history
  • Loading branch information
@hendriktews
hendriktews committed Jun 27, 2024
1 parent 99f91e8 commit c164b74
Show file tree
Hide file tree
Showing 5 changed files with 103 additions and 102 deletions.
110 changes: 55 additions & 55 deletions .github/workflows/test.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@ jobs:
- 29.1
- 29.2
- 29.3
- 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 @@ -80,7 +81,7 @@ jobs:
# changed by the cipg program. Do not change these markers.
# CIPG change marker: magic-emacs-version
- 28.2
- 29.3
- 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 @@ -108,38 +109,37 @@ jobs:
# changed by the cipg program. Do not change these markers.
# CIPG change marker: test-coq-emacs-versions
- coq-8.11.2-emacs-26.3
- coq-8.11.2-emacs-29.3
- coq-8.11.2-emacs-29.4
- coq-8.12.2-emacs-27.1
- coq-8.12.2-emacs-29.3
- coq-8.12.2-emacs-29.4
- coq-8.13.2-emacs-27.2
- coq-8.13.2-emacs-29.3
- coq-8.13.2-emacs-29.4
- coq-8.14.1-emacs-27.2
- coq-8.14.1-emacs-29.3
- coq-8.14.1-emacs-29.4
- coq-8.15.2-emacs-27.1
- coq-8.15.2-emacs-28.1
- coq-8.15.2-emacs-29.3
- coq-8.16.1-emacs-26.3
- coq-8.16.1-emacs-27.1
- coq-8.15.2-emacs-29.4
- coq-8.16.1-emacs-28.2
- coq-8.16.1-emacs-29.3
- coq-8.16.1-emacs-29.4
- coq-8.17.1-emacs-26.3
- coq-8.17.1-emacs-27.1
- coq-8.17.1-emacs-28.2
- coq-8.17.1-emacs-29.1
- coq-8.17.1-emacs-29.3
- coq-8.17.1-emacs-29.4
- 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.3
- coq-8.19.1-emacs-26.3
- coq-8.19.1-emacs-27.1
- coq-8.19.1-emacs-27.2
- coq-8.19.1-emacs-28.1
- coq-8.19.1-emacs-28.2
- coq-8.19.1-emacs-29.1
- coq-8.19.1-emacs-29.2
- coq-8.19.1-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-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
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
Expand Down Expand Up @@ -182,38 +182,37 @@ jobs:
# changed by the cipg program. Do not change these markers.
# CIPG change marker: compile-coq-emacs-versions
- coq-8.11.2-emacs-26.3
- coq-8.11.2-emacs-29.3
- coq-8.11.2-emacs-29.4
- coq-8.12.2-emacs-27.1
- coq-8.12.2-emacs-29.3
- coq-8.12.2-emacs-29.4
- coq-8.13.2-emacs-27.2
- coq-8.13.2-emacs-29.3
- coq-8.13.2-emacs-29.4
- coq-8.14.1-emacs-27.2
- coq-8.14.1-emacs-29.3
- coq-8.14.1-emacs-29.4
- coq-8.15.2-emacs-27.1
- coq-8.15.2-emacs-28.1
- coq-8.15.2-emacs-29.3
- coq-8.16.1-emacs-26.3
- coq-8.16.1-emacs-27.1
- coq-8.15.2-emacs-29.4
- coq-8.16.1-emacs-28.2
- coq-8.16.1-emacs-29.3
- coq-8.16.1-emacs-29.4
- coq-8.17.1-emacs-26.3
- coq-8.17.1-emacs-27.1
- coq-8.17.1-emacs-28.2
- coq-8.17.1-emacs-29.1
- coq-8.17.1-emacs-29.3
- coq-8.17.1-emacs-29.4
- 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.3
- coq-8.19.1-emacs-26.3
- coq-8.19.1-emacs-27.1
- coq-8.19.1-emacs-27.2
- coq-8.19.1-emacs-28.1
- coq-8.19.1-emacs-28.2
- coq-8.19.1-emacs-29.1
- coq-8.19.1-emacs-29.2
- coq-8.19.1-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-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
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
Expand Down Expand Up @@ -252,38 +251,37 @@ jobs:
# changed by the cipg program. Do not change these markers.
# CIPG change marker: simple-coq-emacs-versions
- coq-8.11.2-emacs-26.3
- coq-8.11.2-emacs-29.3
- coq-8.11.2-emacs-29.4
- coq-8.12.2-emacs-27.1
- coq-8.12.2-emacs-29.3
- coq-8.12.2-emacs-29.4
- coq-8.13.2-emacs-27.2
- coq-8.13.2-emacs-29.3
- coq-8.13.2-emacs-29.4
- coq-8.14.1-emacs-27.2
- coq-8.14.1-emacs-29.3
- coq-8.14.1-emacs-29.4
- coq-8.15.2-emacs-27.1
- coq-8.15.2-emacs-28.1
- coq-8.15.2-emacs-29.3
- coq-8.16.1-emacs-26.3
- coq-8.16.1-emacs-27.1
- coq-8.15.2-emacs-29.4
- coq-8.16.1-emacs-28.2
- coq-8.16.1-emacs-29.3
- coq-8.16.1-emacs-29.4
- coq-8.17.1-emacs-26.3
- coq-8.17.1-emacs-27.1
- coq-8.17.1-emacs-28.2
- coq-8.17.1-emacs-29.1
- coq-8.17.1-emacs-29.3
- coq-8.17.1-emacs-29.4
- 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.3
- coq-8.19.1-emacs-26.3
- coq-8.19.1-emacs-27.1
- coq-8.19.1-emacs-27.2
- coq-8.19.1-emacs-28.1
- coq-8.19.1-emacs-28.2
- coq-8.19.1-emacs-29.1
- coq-8.19.1-emacs-29.2
- coq-8.19.1-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-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
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
Expand Down Expand Up @@ -333,6 +331,7 @@ jobs:
- 29.1
- 29.2
- 29.3
- 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 @@ -369,6 +368,7 @@ jobs:
- 29.1
- 29.2
- 29.3
- 29.4
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
Expand Down
58 changes: 29 additions & 29 deletions ci/doc/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -169,20 +169,20 @@ 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 |
|---------+------+------+------+------+------+------+------+------+------+------|
| 8.8.2 | H | | | | | | | | | |
| 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.15.2 | | | X | X | X | X | X | X | X | X |
| 8.16.1 | | | X | X | X | X | X | X | X | X |
| 8.17.1 | | | X | X | X | X | X | X | X | X |
| 8.18.0 | | | X | X | X | X | X | X | X | X |
| 8.19.1 | | | X | X | X | X | X | X | X | X |
| | 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 | SUP | | | | | | | N |
| 8.13.2 | | | SUP | SUP | H | | | | | | N |
| 8.14.1 | | | SUP | 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 |
<!-- CIPG change marker end -->

In the table above,
Expand Down Expand Up @@ -280,27 +280,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 -->
33
32
<!-- 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 |
|---------+------+------+------+------+------+------+------+------+------+------|
| 8.8.2 | | | | | | | | | | |
| 8.9.1 | | | | | | | | | | |
| 8.10.2 | | | | | | | | | | |
| 8.11.2 | | | SUP | | | | | | | N |
| 8.12.2 | | | | SUP | | | | | | N |
| 8.13.2 | | | | | H | | | | | N |
| 8.14.1 | | | | | H | | | | | N |
| 8.15.2 | | | | SUP | | H | | | | N |
| 8.16.1 | | | X | X | | | X | | | N |
| 8.17.1 | | | X | X | | | X | SUP | | N |
| 8.18.0 | | | X | X | | | X | X | | N |
| 8.19.1 | | | X | X | N | N | X | X | N | N |
| | 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 | | | | SUP | | | | | | | 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 |
<!-- CIPG change marker end -->

See [Container build strategy](#contbuild) for an explanation of the
Expand Down
1 change: 1 addition & 0 deletions ci/doc/coq-emacs-releases.org
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@

| date | coq | emacs | distribution name | EOL | historic |
|---------+--------+-------+-------------------+----------+----------|
| 2024/06 | 8.19.2 | 29.4 | | | |
| 2024/03 | 8.19.1 | 29.3 | | | |
| 2024/01 | 8.19.0 | 29.2 | | | |
| 2023/09 | 8.18.0 | | | | |
Expand Down
34 changes: 17 additions & 17 deletions ci/doc/currently-used-coq-emacs-versions
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,26 +2,22 @@ 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
coq-8.11.2-emacs-29.3
coq-8.11.2-emacs-29.4
coq-8.12.2-emacs-26.3
coq-8.12.2-emacs-27.1
coq-8.12.2-emacs-29.3
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.3
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.3
coq-8.14.1-emacs-29.4
coq-8.15.2-emacs-26.3
coq-8.15.2-emacs-27.1
coq-8.15.2-emacs-27.2
coq-8.15.2-emacs-28.1
coq-8.15.2-emacs-28.2
coq-8.15.2-emacs-29.1
coq-8.15.2-emacs-29.2
coq-8.15.2-emacs-29.3
coq-8.15.2-emacs-29.4
coq-8.16.1-emacs-26.3
coq-8.16.1-emacs-27.1
coq-8.16.1-emacs-27.2
Expand All @@ -30,6 +26,7 @@ coq-8.16.1-emacs-28.2
coq-8.16.1-emacs-29.1
coq-8.16.1-emacs-29.2
coq-8.16.1-emacs-29.3
coq-8.16.1-emacs-29.4
coq-8.17.1-emacs-26.3
coq-8.17.1-emacs-27.1
coq-8.17.1-emacs-27.2
Expand All @@ -38,6 +35,7 @@ coq-8.17.1-emacs-28.2
coq-8.17.1-emacs-29.1
coq-8.17.1-emacs-29.2
coq-8.17.1-emacs-29.3
coq-8.17.1-emacs-29.4
coq-8.18.0-emacs-26.3
coq-8.18.0-emacs-27.1
coq-8.18.0-emacs-27.2
Expand All @@ -46,11 +44,13 @@ coq-8.18.0-emacs-28.2
coq-8.18.0-emacs-29.1
coq-8.18.0-emacs-29.2
coq-8.18.0-emacs-29.3
coq-8.19.1-emacs-26.3
coq-8.19.1-emacs-27.1
coq-8.19.1-emacs-27.2
coq-8.19.1-emacs-28.1
coq-8.19.1-emacs-28.2
coq-8.19.1-emacs-29.1
coq-8.19.1-emacs-29.2
coq-8.19.1-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-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
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 @@ -9,4 +9,4 @@
8.16.1
8.17.1
8.18.0
8.19.1
8.19.2

0 comments on commit c164b74

Please sign in to comment.