branch: elpa/proof-general
commit ec4f9bad18f6c8336e53910d3ea941d5ceb52f52
Author: Hendrik Tews <hend...@askra.de>
Commit: hendriktews <hend...@askra.de>
CI: add emacs 28.1, phase out some coq 8.11, 8.14 combinations
- coq 8.11 is not in the last 2 years anymore, therefore reducing
the Coq/Emacs combinations in CI with 8.11
- coq 8.14 is not the latest coq anymore, therefore reducing the
Coq/Emacs combinations in CI with 8.11
- add combinations with Coq 8.15
- add combinations with Emacs 28.1
---
.github/workflows/test.yml | 73 ++++++++++++++++++++++++++++++++++------------
1 file changed, 54 insertions(+), 19 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index c7edb84746..848618513b 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -28,6 +28,7 @@ jobs:
- 26.3
- 27.1
- 27.2
+ - 28.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: 4
@@ -69,6 +70,7 @@ jobs:
# only the latest one.
- 26.3
- 27.2
+ - 28.1
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
@@ -93,36 +95,47 @@ jobs:
coq_emacs_version:
- coq-8.6-emacs-25.2
- coq-8.6-emacs-27.2
+ - coq-8.6-emacs-28.1
- coq-8.7-emacs-25.3
- coq-8.7-emacs-27.2
+ - coq-8.7-emacs-28.1
- coq-8.8-emacs-26.1
- coq-8.8-emacs-27.2
+ - coq-8.8-emacs-28.1
- coq-8.9-emacs-26.2
- coq-8.9-emacs-27.2
+ - coq-8.9-emacs-28.1
- coq-8.10-emacs-27.2
- - coq-8.11-emacs-25.2
- - coq-8.11-emacs-26.2
+ - coq-8.10-emacs-28.1
- coq-8.11-emacs-26.3
- coq-8.11-emacs-27.2
+ - coq-8.11-emacs-28.1
- coq-8.12-emacs-25.2
- coq-8.12-emacs-26.2
- coq-8.12-emacs-26.3
- coq-8.12-emacs-27.1
- coq-8.12-emacs-27.2
+ - coq-8.12-emacs-28.1
- coq-8.13-emacs-25.2
- coq-8.13-emacs-26.2
- coq-8.13-emacs-26.3
- coq-8.13-emacs-27.1
- coq-8.13-emacs-27.2
- - coq-8.14-emacs-25.1
+ - coq-8.13-emacs-28.1
- coq-8.14-emacs-25.2
- - coq-8.14-emacs-25.3
- - coq-8.14-emacs-26.1
- coq-8.14-emacs-26.2
- coq-8.14-emacs-26.3
- coq-8.14-emacs-27.1
- coq-8.14-emacs-27.2
- # XXXX 8.15 is missing
+ - coq-8.14-emacs-28.1
+ - coq-8.15-emacs-25.2
+ - coq-8.15-emacs-25.3
+ - coq-8.15-emacs-26.1
+ - coq-8.15-emacs-26.2
+ - coq-8.15-emacs-26.3
+ - coq-8.15-emacs-27.1
+ - coq-8.15-emacs-27.2
+ - coq-8.15-emacs-28.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
@@ -165,36 +178,47 @@ jobs:
coq_emacs_version:
- coq-8.6-emacs-25.2
- coq-8.6-emacs-27.2
+ - coq-8.6-emacs-28.1
- coq-8.7-emacs-25.3
- coq-8.7-emacs-27.2
+ - coq-8.7-emacs-28.1
- coq-8.8-emacs-26.1
- coq-8.8-emacs-27.2
+ - coq-8.8-emacs-28.1
- coq-8.9-emacs-26.2
- coq-8.9-emacs-27.2
+ - coq-8.9-emacs-28.1
- coq-8.10-emacs-27.2
- - coq-8.11-emacs-25.2
- - coq-8.11-emacs-26.2
+ - coq-8.10-emacs-28.1
- coq-8.11-emacs-26.3
- coq-8.11-emacs-27.2
+ - coq-8.11-emacs-28.1
- coq-8.12-emacs-25.2
- coq-8.12-emacs-26.2
- coq-8.12-emacs-26.3
- coq-8.12-emacs-27.1
- coq-8.12-emacs-27.2
+ - coq-8.12-emacs-28.1
- coq-8.13-emacs-25.2
- coq-8.13-emacs-26.2
- coq-8.13-emacs-26.3
- coq-8.13-emacs-27.1
- coq-8.13-emacs-27.2
- - coq-8.14-emacs-25.1
+ - coq-8.13-emacs-28.1
- coq-8.14-emacs-25.2
- - coq-8.14-emacs-25.3
- - coq-8.14-emacs-26.1
- coq-8.14-emacs-26.2
- coq-8.14-emacs-26.3
- coq-8.14-emacs-27.1
- coq-8.14-emacs-27.2
- # XXXX 8.15 missing
+ - coq-8.14-emacs-28.1
+ - coq-8.15-emacs-25.2
+ - coq-8.15-emacs-25.3
+ - coq-8.15-emacs-26.1
+ - coq-8.15-emacs-26.2
+ - coq-8.15-emacs-26.3
+ - coq-8.15-emacs-27.1
+ - coq-8.15-emacs-27.2
+ - coq-8.15-emacs-28.1
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
steps:
@@ -230,36 +254,47 @@ jobs:
coq_emacs_version:
- coq-8.6-emacs-25.2
- coq-8.6-emacs-27.2
+ - coq-8.6-emacs-28.1
- coq-8.7-emacs-25.3
- coq-8.7-emacs-27.2
+ - coq-8.7-emacs-28.1
- coq-8.8-emacs-26.1
- coq-8.8-emacs-27.2
+ - coq-8.8-emacs-28.1
- coq-8.9-emacs-26.2
- coq-8.9-emacs-27.2
+ - coq-8.9-emacs-28.1
- coq-8.10-emacs-27.2
- - coq-8.11-emacs-25.2
- - coq-8.11-emacs-26.2
+ - coq-8.10-emacs-28.1
- coq-8.11-emacs-26.3
- coq-8.11-emacs-27.2
+ - coq-8.11-emacs-28.1
- coq-8.12-emacs-25.2
- coq-8.12-emacs-26.2
- coq-8.12-emacs-26.3
- coq-8.12-emacs-27.1
- coq-8.12-emacs-27.2
+ - coq-8.12-emacs-28.1
- coq-8.13-emacs-25.2
- coq-8.13-emacs-26.2
- coq-8.13-emacs-26.3
- coq-8.13-emacs-27.1
- coq-8.13-emacs-27.2
- - coq-8.14-emacs-25.1
+ - coq-8.13-emacs-28.1
- coq-8.14-emacs-25.2
- - coq-8.14-emacs-25.3
- - coq-8.14-emacs-26.1
- coq-8.14-emacs-26.2
- coq-8.14-emacs-26.3
- coq-8.14-emacs-27.1
- coq-8.14-emacs-27.2
- # XXXX 8.15 is missing
+ - coq-8.14-emacs-28.1
+ - coq-8.15-emacs-25.2
+ - coq-8.15-emacs-25.3
+ - coq-8.15-emacs-26.1
+ - coq-8.15-emacs-26.2
+ - coq-8.15-emacs-26.3
+ - coq-8.15-emacs-27.1
+ - coq-8.15-emacs-27.2
+ - coq-8.15-emacs-28.1
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
@@ -297,7 +332,6 @@ jobs:
strategy:
matrix:
emacs_version:
- - 25.1
- 25.2
- 25.3
- 26.1
@@ -305,6 +339,7 @@ jobs:
- 26.3
- 27.1
- 27.2
+ - 28.1
max-parallel: 4
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
