Skip to content

Commit 21f1be2

Browse files
proux01proux01
committed
[CI] Update Nix toolbox
1 parent 5deae5e commit 21f1be2

6 files changed

Lines changed: 715 additions & 121 deletions

File tree

‎.github/workflows/nix-action-9.0.yml‎

Lines changed: 17 additions & 41 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ jobs:
99
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
1010
}}\" >> $GITHUB_ENV\nfi\n"
1111
- name: Git checkout
12-
uses: actions/checkout@v4
12+
uses: actions/checkout@v6
1313
with:
1414
fetch-depth: 0
1515
ref: ${{ env.target_commit }}
@@ -23,7 +23,7 @@ jobs:
2323
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
2424
\ fi\nfi\n"
2525
- name: Git checkout
26-
uses: actions/checkout@v4
26+
uses: actions/checkout@v6
2727
with:
2828
fetch-depth: 0
2929
ref: ${{ env.tested_commit }}
@@ -68,7 +68,7 @@ jobs:
6868
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
6969
}}\" >> $GITHUB_ENV\nfi\n"
7070
- name: Git checkout
71-
uses: actions/checkout@v4
71+
uses: actions/checkout@v6
7272
with:
7373
fetch-depth: 0
7474
ref: ${{ env.target_commit }}
@@ -82,7 +82,7 @@ jobs:
8282
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
8383
\ fi\nfi\n"
8484
- name: Git checkout
85-
uses: actions/checkout@v4
85+
uses: actions/checkout@v6
8686
with:
8787
fetch-depth: 0
8888
ref: ${{ env.tested_commit }}
@@ -128,7 +128,7 @@ jobs:
128128
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
129129
}}\" >> $GITHUB_ENV\nfi\n"
130130
- name: Git checkout
131-
uses: actions/checkout@v4
131+
uses: actions/checkout@v6
132132
with:
133133
fetch-depth: 0
134134
ref: ${{ env.target_commit }}
@@ -142,7 +142,7 @@ jobs:
142142
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
143143
\ fi\nfi\n"
144144
- name: Git checkout
145-
uses: actions/checkout@v4
145+
uses: actions/checkout@v6
146146
with:
147147
fetch-depth: 0
148148
ref: ${{ env.tested_commit }}
@@ -173,10 +173,6 @@ jobs:
173173
name: 'Building/fetching previous CI target: coq'
174174
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
175175
--argstr job "coq"
176-
- if: steps.stepCheck.outputs.status != 'fetched'
177-
name: 'Building/fetching previous CI target: mathcomp-algebra'
178-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
179-
--argstr job "mathcomp-algebra"
180176
- if: steps.stepCheck.outputs.status != 'fetched'
181177
name: 'Building/fetching previous CI target: bignums'
182178
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
@@ -204,7 +200,7 @@ jobs:
204200
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
205201
}}\" >> $GITHUB_ENV\nfi\n"
206202
- name: Git checkout
207-
uses: actions/checkout@v4
203+
uses: actions/checkout@v6
208204
with:
209205
fetch-depth: 0
210206
ref: ${{ env.target_commit }}
@@ -218,7 +214,7 @@ jobs:
218214
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
219215
\ fi\nfi\n"
220216
- name: Git checkout
221-
uses: actions/checkout@v4
217+
uses: actions/checkout@v6
222218
with:
223219
fetch-depth: 0
224220
ref: ${{ env.tested_commit }}
@@ -259,7 +255,7 @@ jobs:
259255
--argstr job "hierarchy-builder"
260256
mathcomp:
261257
needs:
262-
- coq
258+
- rocq-core
263259
- hierarchy-builder
264260
runs-on: ubuntu-latest
265261
steps:
@@ -268,7 +264,7 @@ jobs:
268264
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
269265
}}\" >> $GITHUB_ENV\nfi\n"
270266
- name: Git checkout
271-
uses: actions/checkout@v4
267+
uses: actions/checkout@v6
272268
with:
273269
fetch-depth: 0
274270
ref: ${{ env.target_commit }}
@@ -282,7 +278,7 @@ jobs:
282278
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
283279
\ fi\nfi\n"
284280
- name: Git checkout
285-
uses: actions/checkout@v4
281+
uses: actions/checkout@v6
286282
with:
287283
fetch-depth: 0
288284
ref: ${{ env.tested_commit }}
@@ -310,9 +306,9 @@ jobs:
310306
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
311307
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
312308
- if: steps.stepCheck.outputs.status != 'fetched'
313-
name: 'Building/fetching previous CI target: coq'
309+
name: 'Building/fetching previous CI target: rocq-core'
314310
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
315-
--argstr job "coq"
311+
--argstr job "rocq-core"
316312
- if: steps.stepCheck.outputs.status != 'fetched'
317313
name: 'Building/fetching previous CI target: mathcomp-character'
318314
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
@@ -321,10 +317,6 @@ jobs:
321317
name: 'Building/fetching previous CI target: hierarchy-builder'
322318
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
323319
--argstr job "hierarchy-builder"
324-
- if: steps.stepCheck.outputs.status != 'fetched'
325-
name: 'Building/fetching previous CI target: stdlib'
326-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
327-
--argstr job "stdlib"
328320
- if: steps.stepCheck.outputs.status != 'fetched'
329321
name: Building/fetching current CI target
330322
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
@@ -339,7 +331,7 @@ jobs:
339331
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
340332
}}\" >> $GITHUB_ENV\nfi\n"
341333
- name: Git checkout
342-
uses: actions/checkout@v4
334+
uses: actions/checkout@v6
343335
with:
344336
fetch-depth: 0
345337
ref: ${{ env.target_commit }}
@@ -353,7 +345,7 @@ jobs:
353345
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
354346
\ fi\nfi\n"
355347
- name: Git checkout
356-
uses: actions/checkout@v4
348+
uses: actions/checkout@v6
357349
with:
358350
fetch-depth: 0
359351
ref: ${{ env.tested_commit }}
@@ -388,22 +380,6 @@ jobs:
388380
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
389381
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
390382
--argstr job "mathcomp-ssreflect"
391-
- if: steps.stepCheck.outputs.status != 'fetched'
392-
name: 'Building/fetching previous CI target: mathcomp-algebra'
393-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
394-
--argstr job "mathcomp-algebra"
395-
- if: steps.stepCheck.outputs.status != 'fetched'
396-
name: 'Building/fetching previous CI target: mathcomp-field'
397-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
398-
--argstr job "mathcomp-field"
399-
- if: steps.stepCheck.outputs.status != 'fetched'
400-
name: 'Building/fetching previous CI target: mathcomp-fingroup'
401-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
402-
--argstr job "mathcomp-fingroup"
403-
- if: steps.stepCheck.outputs.status != 'fetched'
404-
name: 'Building/fetching previous CI target: mathcomp-solvable'
405-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
406-
--argstr job "mathcomp-solvable"
407383
- if: steps.stepCheck.outputs.status != 'fetched'
408384
name: 'Building/fetching previous CI target: mathcomp-bigenough'
409385
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.0"
@@ -421,7 +397,7 @@ jobs:
421397
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
422398
}}\" >> $GITHUB_ENV\nfi\n"
423399
- name: Git checkout
424-
uses: actions/checkout@v4
400+
uses: actions/checkout@v6
425401
with:
426402
fetch-depth: 0
427403
ref: ${{ env.target_commit }}
@@ -435,7 +411,7 @@ jobs:
435411
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
436412
\ fi\nfi\n"
437413
- name: Git checkout
438-
uses: actions/checkout@v4
414+
uses: actions/checkout@v6
439415
with:
440416
fetch-depth: 0
441417
ref: ${{ env.tested_commit }}

0 commit comments

Comments
 (0)