Skip to content

Commit abdaa58

Browse files
hendriktewshendriktews
committed
CI: replace Coq 8.20.0 with Coq 8.20.1
Besides, - 8.16.1 has been released more than 2 years ago, therefore 8.16.1 containers are not generally built anymore and some of them will be deleted soon. - 8.17.1 has been released more than 18 month ago, therefore 8.17.1 is not generally tested anymore.
1 parent d668946 commit abdaa58

5 files changed

+46
-59
lines changed

‎.github/workflows/test.yml

+27-36
Original file line numberDiff line numberDiff line change
@@ -121,9 +121,6 @@ jobs:
121121
- coq-8.15.2-emacs-29.4
122122
- coq-8.16.1-emacs-28.2
123123
- coq-8.16.1-emacs-29.4
124-
- coq-8.17.1-emacs-26.3
125-
- coq-8.17.1-emacs-27.1
126-
- coq-8.17.1-emacs-28.2
127124
- coq-8.17.1-emacs-29.1
128125
- coq-8.17.1-emacs-29.4
129126
- coq-8.18.0-emacs-26.3
@@ -136,15 +133,15 @@ jobs:
136133
- coq-8.19.2-emacs-28.2
137134
- coq-8.19.2-emacs-29.3
138135
- coq-8.19.2-emacs-29.4
139-
- coq-8.20.0-emacs-26.3
140-
- coq-8.20.0-emacs-27.1
141-
- coq-8.20.0-emacs-27.2
142-
- coq-8.20.0-emacs-28.1
143-
- coq-8.20.0-emacs-28.2
144-
- coq-8.20.0-emacs-29.1
145-
- coq-8.20.0-emacs-29.2
146-
- coq-8.20.0-emacs-29.3
147-
- coq-8.20.0-emacs-29.4
136+
- coq-8.20.1-emacs-26.3
137+
- coq-8.20.1-emacs-27.1
138+
- coq-8.20.1-emacs-27.2
139+
- coq-8.20.1-emacs-28.1
140+
- coq-8.20.1-emacs-28.2
141+
- coq-8.20.1-emacs-29.1
142+
- coq-8.20.1-emacs-29.2
143+
- coq-8.20.1-emacs-29.3
144+
- coq-8.20.1-emacs-29.4
148145
# CIPG change marker end
149146
# don't cancel all in-progress jobs if one matrix job fails:
150147
fail-fast: false
@@ -199,9 +196,6 @@ jobs:
199196
- coq-8.15.2-emacs-29.4
200197
- coq-8.16.1-emacs-28.2
201198
- coq-8.16.1-emacs-29.4
202-
- coq-8.17.1-emacs-26.3
203-
- coq-8.17.1-emacs-27.1
204-
- coq-8.17.1-emacs-28.2
205199
- coq-8.17.1-emacs-29.1
206200
- coq-8.17.1-emacs-29.4
207201
- coq-8.18.0-emacs-26.3
@@ -214,15 +208,15 @@ jobs:
214208
- coq-8.19.2-emacs-28.2
215209
- coq-8.19.2-emacs-29.3
216210
- coq-8.19.2-emacs-29.4
217-
- coq-8.20.0-emacs-26.3
218-
- coq-8.20.0-emacs-27.1
219-
- coq-8.20.0-emacs-27.2
220-
- coq-8.20.0-emacs-28.1
221-
- coq-8.20.0-emacs-28.2
222-
- coq-8.20.0-emacs-29.1
223-
- coq-8.20.0-emacs-29.2
224-
- coq-8.20.0-emacs-29.3
225-
- coq-8.20.0-emacs-29.4
211+
- coq-8.20.1-emacs-26.3
212+
- coq-8.20.1-emacs-27.1
213+
- coq-8.20.1-emacs-27.2
214+
- coq-8.20.1-emacs-28.1
215+
- coq-8.20.1-emacs-28.2
216+
- coq-8.20.1-emacs-29.1
217+
- coq-8.20.1-emacs-29.2
218+
- coq-8.20.1-emacs-29.3
219+
- coq-8.20.1-emacs-29.4
226220
# CIPG change marker end
227221
# don't cancel all in-progress jobs if one matrix job fails:
228222
fail-fast: false
@@ -273,9 +267,6 @@ jobs:
273267
- coq-8.15.2-emacs-29.4
274268
- coq-8.16.1-emacs-28.2
275269
- coq-8.16.1-emacs-29.4
276-
- coq-8.17.1-emacs-26.3
277-
- coq-8.17.1-emacs-27.1
278-
- coq-8.17.1-emacs-28.2
279270
- coq-8.17.1-emacs-29.1
280271
- coq-8.17.1-emacs-29.4
281272
- coq-8.18.0-emacs-26.3
@@ -288,15 +279,15 @@ jobs:
288279
- coq-8.19.2-emacs-28.2
289280
- coq-8.19.2-emacs-29.3
290281
- coq-8.19.2-emacs-29.4
291-
- coq-8.20.0-emacs-26.3
292-
- coq-8.20.0-emacs-27.1
293-
- coq-8.20.0-emacs-27.2
294-
- coq-8.20.0-emacs-28.1
295-
- coq-8.20.0-emacs-28.2
296-
- coq-8.20.0-emacs-29.1
297-
- coq-8.20.0-emacs-29.2
298-
- coq-8.20.0-emacs-29.3
299-
- coq-8.20.0-emacs-29.4
282+
- coq-8.20.1-emacs-26.3
283+
- coq-8.20.1-emacs-27.1
284+
- coq-8.20.1-emacs-27.2
285+
- coq-8.20.1-emacs-28.1
286+
- coq-8.20.1-emacs-28.2
287+
- coq-8.20.1-emacs-29.1
288+
- coq-8.20.1-emacs-29.2
289+
- coq-8.20.1-emacs-29.3
290+
- coq-8.20.1-emacs-29.4
300291
# CIPG change marker end
301292
# don't cancel all in-progress jobs if one matrix job fails:
302293
fail-fast: false

‎ci/doc/README.md

+8-8
Original file line numberDiff line numberDiff line change
@@ -168,7 +168,7 @@ This results in
168168
<!-- The content between the CIPG markers is automatically changed by
169169
!-- the cipg program. Do not change these markers. -->
170170
<!-- CIPG change marker: container-number -->
171-
62
171+
57
172172
<!-- CIPG change marker end -->
173173
containers.
174174

@@ -184,11 +184,11 @@ containers.
184184
| 8.13.2 | | SUP | | H | | | | | | N |
185185
| 8.14.1 | | SUP | | H | | | | | | N |
186186
| 8.15.2 | | SUP | SUP | | H | | | | | N |
187-
| 8.16.1 | | X | X | X | X | X | X | X | X | X |
187+
| 8.16.1 | | SUP | SUP | | | SUP | | | | N |
188188
| 8.17.1 | | X | X | X | X | X | X | X | X | X |
189189
| 8.18.0 | | X | X | X | X | X | X | X | X | X |
190190
| 8.19.2 | | X | X | X | X | X | X | X | X | X |
191-
| 8.20.0 | | X | X | X | X | X | X | X | X | X |
191+
| 8.20.1 | | X | X | X | X | X | X | X | X | X |
192192
<!-- CIPG change marker end -->
193193

194194
In the table above,
@@ -285,7 +285,7 @@ This results in
285285
<!-- The content between the CIPG markers is automatically changed by
286286
!-- the cipg program. Do not change these markers. -->
287287
<!-- CIPG change marker: testrun-number -->
288-
37
288+
34
289289
<!-- CIPG change marker end -->
290290
version pairs for the Proof General interaction tests with Coq.
291291

@@ -302,10 +302,10 @@ version pairs for the Proof General interaction tests with Coq.
302302
| 8.14.1 | | | | H | | | | | | N |
303303
| 8.15.2 | | | SUP | | H | | | | | N |
304304
| 8.16.1 | | | | | | SUP | | | | N |
305-
| 8.17.1 | | X | X | | | X | H | | | N |
306-
| 8.18.0 | | X | X | | | X | | | SUP | N |
305+
| 8.17.1 | | | | | | | H | | | N |
306+
| 8.18.0 | | X | X | | | X | | | X | N |
307307
| 8.19.2 | | X | X | | | X | | | X | N |
308-
| 8.20.0 | | X | X | N | N | X | N | N | X | N |
308+
| 8.20.1 | | X | X | N | N | X | N | N | X | N |
309309
<!-- CIPG change marker end -->
310310

311311
See [Container build strategy](#contbuild) for an explanation of the
@@ -315,7 +315,7 @@ In summary, all Proof General testing jobs run
315315
<!-- The content between the CIPG markers is automatically changed by
316316
!-- the cipg program. Do not change these markers. -->
317317
<!-- CIPG change marker: total-checks-number -->
318-
140
318+
131
319319
<!-- CIPG change marker end -->
320320
github checks.
321321

‎ci/doc/coq-emacs-releases.org

+1
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@
1313

1414
| date | coq | emacs | distribution name | EOL | historic |
1515
|---------+--------+-------+-------------------+----------+----------|
16+
| 2025/01 | 8.20.1 | | | | |
1617
| 2024/09 | 8.20.0 | | | | |
1718
| 2024/06 | 8.19.2 | 29.4 | | | |
1819
| 2024/03 | 8.19.1 | 29.3 | | | |

‎ci/doc/currently-used-coq-emacs-versions

+9-14
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,7 @@ coq-8.15.2-emacs-28.1
1717
coq-8.15.2-emacs-29.4
1818
coq-8.16.1-emacs-26.3
1919
coq-8.16.1-emacs-27.1
20-
coq-8.16.1-emacs-27.2
21-
coq-8.16.1-emacs-28.1
2220
coq-8.16.1-emacs-28.2
23-
coq-8.16.1-emacs-29.1
24-
coq-8.16.1-emacs-29.2
25-
coq-8.16.1-emacs-29.3
2621
coq-8.16.1-emacs-29.4
2722
coq-8.17.1-emacs-26.3
2823
coq-8.17.1-emacs-27.1
@@ -51,12 +46,12 @@ coq-8.19.2-emacs-29.1
5146
coq-8.19.2-emacs-29.2
5247
coq-8.19.2-emacs-29.3
5348
coq-8.19.2-emacs-29.4
54-
coq-8.20.0-emacs-26.3
55-
coq-8.20.0-emacs-27.1
56-
coq-8.20.0-emacs-27.2
57-
coq-8.20.0-emacs-28.1
58-
coq-8.20.0-emacs-28.2
59-
coq-8.20.0-emacs-29.1
60-
coq-8.20.0-emacs-29.2
61-
coq-8.20.0-emacs-29.3
62-
coq-8.20.0-emacs-29.4
49+
coq-8.20.1-emacs-26.3
50+
coq-8.20.1-emacs-27.1
51+
coq-8.20.1-emacs-27.2
52+
coq-8.20.1-emacs-28.1
53+
coq-8.20.1-emacs-28.2
54+
coq-8.20.1-emacs-29.1
55+
coq-8.20.1-emacs-29.2
56+
coq-8.20.1-emacs-29.3
57+
coq-8.20.1-emacs-29.4

‎ci/doc/currently-used-coq-nix-versions

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,4 +9,4 @@
99
8.17.1
1010
8.18.0
1111
8.19.2
12-
8.20.0
12+
8.20.1

0 commit comments

Comments
 (0)