Skip to content

Commit 88add4d

Browse files
hendriktewshendriktews
committed
CI: add Ubuntu 24 release; delete unused containers
- Ubuntu 24 Noble Numbat was released in June with Emacs 29.3 and Coq 8.18.0 - Enabled testing Coq 8.18.0 and 8.19.2 with Emacs 29.3 to support Noble Numbat users according to our CI strategy - deleted container for Coq 8.8.2 and Emacs 26.1 because 8.8.2 was released more than 6 years ago - the oldest passively supported version pair is now 8.9.1 / 26.2, which will be kept until 2025/05 - deleted a lot of other containers which are not needed any more
1 parent 1ffca70 commit 88add4d

File tree

5 files changed

+38
-35
lines changed

5 files changed

+38
-35
lines changed

‎.github/workflows/test.yml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -129,10 +129,12 @@ jobs:
129129
- coq-8.18.0-emacs-26.3
130130
- coq-8.18.0-emacs-27.1
131131
- coq-8.18.0-emacs-28.2
132+
- coq-8.18.0-emacs-29.3
132133
- coq-8.18.0-emacs-29.4
133134
- coq-8.19.2-emacs-26.3
134135
- coq-8.19.2-emacs-27.1
135136
- coq-8.19.2-emacs-28.2
137+
- coq-8.19.2-emacs-29.3
136138
- coq-8.19.2-emacs-29.4
137139
- coq-8.20.0-emacs-26.3
138140
- coq-8.20.0-emacs-27.1
@@ -205,10 +207,12 @@ jobs:
205207
- coq-8.18.0-emacs-26.3
206208
- coq-8.18.0-emacs-27.1
207209
- coq-8.18.0-emacs-28.2
210+
- coq-8.18.0-emacs-29.3
208211
- coq-8.18.0-emacs-29.4
209212
- coq-8.19.2-emacs-26.3
210213
- coq-8.19.2-emacs-27.1
211214
- coq-8.19.2-emacs-28.2
215+
- coq-8.19.2-emacs-29.3
212216
- coq-8.19.2-emacs-29.4
213217
- coq-8.20.0-emacs-26.3
214218
- coq-8.20.0-emacs-27.1
@@ -277,10 +281,12 @@ jobs:
277281
- coq-8.18.0-emacs-26.3
278282
- coq-8.18.0-emacs-27.1
279283
- coq-8.18.0-emacs-28.2
284+
- coq-8.18.0-emacs-29.3
280285
- coq-8.18.0-emacs-29.4
281286
- coq-8.19.2-emacs-26.3
282287
- coq-8.19.2-emacs-27.1
283288
- coq-8.19.2-emacs-28.2
289+
- coq-8.19.2-emacs-29.3
284290
- coq-8.19.2-emacs-29.4
285291
- coq-8.20.0-emacs-26.3
286292
- coq-8.20.0-emacs-27.1

‎ci/doc/README.md

Lines changed: 31 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -168,28 +168,27 @@ 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-
63
171+
62
172172
<!-- CIPG change marker end -->
173173
containers.
174174

175175
<!-- The content between the CIPG markers is automatically changed by
176176
!-- the cipg program. Do not change these markers. -->
177177
<!-- CIPG change marker: container-table -->
178-
| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
179-
|---------+------+------+------+------+------+------+------+------+------+------+------|
180-
| 8.8.2 | H | | | | | | | | | | |
181-
| 8.9.1 | | H | | | | | | | | | |
182-
| 8.10.2 | | | H | | | | | | | | |
183-
| 8.11.2 | | | SUP | | | | | | | | N |
184-
| 8.12.2 | | | SUP | H | | | | | | | N |
185-
| 8.13.2 | | | SUP | | H | | | | | | N |
186-
| 8.14.1 | | | SUP | | H | | | | | | N |
187-
| 8.15.2 | | | SUP | SUP | | H | | | | | N |
188-
| 8.16.1 | | | X | X | X | X | X | X | X | X | X |
189-
| 8.17.1 | | | X | X | X | X | X | X | X | X | X |
190-
| 8.18.0 | | | X | X | X | X | X | X | X | X | X |
191-
| 8.19.2 | | | X | X | X | X | X | X | X | X | X |
192-
| 8.20.0 | | | X | X | X | X | X | X | X | X | X |
178+
| | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
179+
|---------+------+------+------+------+------+------+------+------+------+------|
180+
| 8.9.1 | H | | | | | | | | | |
181+
| 8.10.2 | | H | | | | | | | | |
182+
| 8.11.2 | | SUP | | | | | | | | N |
183+
| 8.12.2 | | SUP | H | | | | | | | N |
184+
| 8.13.2 | | SUP | | H | | | | | | N |
185+
| 8.14.1 | | SUP | | H | | | | | | N |
186+
| 8.15.2 | | SUP | SUP | | H | | | | | N |
187+
| 8.16.1 | | X | X | X | X | X | X | X | X | X |
188+
| 8.17.1 | | X | X | X | X | X | X | X | X | X |
189+
| 8.18.0 | | X | X | X | X | X | X | X | X | X |
190+
| 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 |
193192
<!-- CIPG change marker end -->
194193

195194
In the table above,
@@ -286,28 +285,27 @@ This results in
286285
<!-- The content between the CIPG markers is automatically changed by
287286
!-- the cipg program. Do not change these markers. -->
288287
<!-- CIPG change marker: testrun-number -->
289-
35
288+
37
290289
<!-- CIPG change marker end -->
291290
version pairs for the Proof General interaction tests with Coq.
292291

293292
<!-- The content between the CIPG markers is automatically changed by
294293
!-- the cipg program. Do not change these markers. -->
295294
<!-- CIPG change marker: testrun-table -->
296-
| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
297-
|---------+------+------+------+------+------+------+------+------+------+------+------|
298-
| 8.8.2 | | | | | | | | | | | |
299-
| 8.9.1 | | | | | | | | | | | |
300-
| 8.10.2 | | | | | | | | | | | |
301-
| 8.11.2 | | | SUP | | | | | | | | N |
302-
| 8.12.2 | | | | H | | | | | | | N |
303-
| 8.13.2 | | | | | H | | | | | | N |
304-
| 8.14.1 | | | | | H | | | | | | N |
305-
| 8.15.2 | | | | SUP | | H | | | | | N |
306-
| 8.16.1 | | | | | | | SUP | | | | N |
307-
| 8.17.1 | | | X | X | | | X | H | | | N |
308-
| 8.18.0 | | | X | X | | | X | | | | N |
309-
| 8.19.2 | | | X | X | | | X | | | | N |
310-
| 8.20.0 | | | X | X | N | N | X | N | N | N | N |
295+
| | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
296+
|---------+------+------+------+------+------+------+------+------+------+------|
297+
| 8.9.1 | | | | | | | | | | |
298+
| 8.10.2 | | | | | | | | | | |
299+
| 8.11.2 | | SUP | | | | | | | | N |
300+
| 8.12.2 | | | H | | | | | | | N |
301+
| 8.13.2 | | | | H | | | | | | N |
302+
| 8.14.1 | | | | H | | | | | | N |
303+
| 8.15.2 | | | SUP | | H | | | | | N |
304+
| 8.16.1 | | | | | | SUP | | | | N |
305+
| 8.17.1 | | X | X | | | X | H | | | N |
306+
| 8.18.0 | | X | X | | | X | | | SUP | N |
307+
| 8.19.2 | | X | X | | | X | | | X | N |
308+
| 8.20.0 | | X | X | N | N | X | N | N | X | N |
311309
<!-- CIPG change marker end -->
312310

313311
See [Container build strategy](#contbuild) for an explanation of the
@@ -317,7 +315,7 @@ In summary, all Proof General testing jobs run
317315
<!-- The content between the CIPG markers is automatically changed by
318316
!-- the cipg program. Do not change these markers. -->
319317
<!-- CIPG change marker: total-checks-number -->
320-
134
318+
140
321319
<!-- CIPG change marker end -->
322320
github checks.
323321

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@
1717
| 2024/06 | 8.19.2 | 29.4 | | | |
1818
| 2024/03 | 8.19.1 | 29.3 | | | |
1919
| 2024/01 | 8.19.0 | 29.2 | | | |
20+
| 2024/04 | | 29.3 | ubu 24 noble num | 2029/06 | |
2021
| 2023/09 | 8.18.0 | | | | |
2122
| 2023/07 | | 29.1 | | | X |
2223
| 2023/06 | 8.17.1 | | | | |

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
coq-8.8.2-emacs-26.1
21
coq-8.9.1-emacs-26.2
32
coq-8.10.2-emacs-26.3
43
coq-8.11.2-emacs-26.3

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
8.8.2
21
8.9.1
32
8.10.2
43
8.11.2

0 commit comments

Comments
 (0)