Skip to content

Commit f272e1f

Browse files
proux01proux01
committed
[CI] Update Nix toolbox
1 parent d2e2bbb commit f272e1f

6 files changed

Lines changed: 104 additions & 280 deletions

File tree

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

Lines changed: 27 additions & 59 deletions
Original file line numberDiff line numberDiff line change
@@ -127,7 +127,7 @@ jobs:
127127
"9.0-2.4.0" --argstr job "mathcomp"
128128
mathcomp-analysis:
129129
needs:
130-
- coq
130+
- rocq-core
131131
- mathcomp-reals
132132
runs-on: ubuntu-latest
133133
steps:
@@ -178,28 +178,28 @@ jobs:
178178
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
179179
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
180180
- if: steps.stepCheck.outputs.status != 'fetched'
181-
name: 'Building/fetching previous CI target: coq'
181+
name: 'Building/fetching previous CI target: rocq-core'
182182
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
183-
"9.0-2.4.0" --argstr job "coq"
183+
"9.0-2.4.0" --argstr job "rocq-core"
184184
- if: steps.stepCheck.outputs.status != 'fetched'
185185
name: 'Building/fetching previous CI target: mathcomp-reals'
186186
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
187187
"9.0-2.4.0" --argstr job "mathcomp-reals"
188188
- if: steps.stepCheck.outputs.status != 'fetched'
189-
name: 'Building/fetching previous CI target: mathcomp-bigenough'
189+
name: 'Building/fetching previous CI target: mathcomp-field'
190190
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
191-
"9.0-2.4.0" --argstr job "mathcomp-bigenough"
191+
"9.0-2.4.0" --argstr job "mathcomp-field"
192192
- if: steps.stepCheck.outputs.status != 'fetched'
193-
name: 'Building/fetching previous CI target: hierarchy-builder'
193+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
194194
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
195-
"9.0-2.4.0" --argstr job "hierarchy-builder"
195+
"9.0-2.4.0" --argstr job "mathcomp-bigenough"
196196
- if: steps.stepCheck.outputs.status != 'fetched'
197197
name: Building/fetching current CI target
198198
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
199199
"9.0-2.4.0" --argstr job "mathcomp-analysis"
200200
mathcomp-analysis-single:
201201
needs:
202-
- coq
202+
- rocq-core
203203
runs-on: ubuntu-latest
204204
steps:
205205
- name: Determine which commit to initially checkout
@@ -249,13 +249,9 @@ jobs:
249249
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
250250
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
251251
- if: steps.stepCheck.outputs.status != 'fetched'
252-
name: 'Building/fetching previous CI target: coq'
253-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
254-
"9.0-2.4.0" --argstr job "coq"
255-
- if: steps.stepCheck.outputs.status != 'fetched'
256-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
252+
name: 'Building/fetching previous CI target: rocq-core'
257253
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
258-
"9.0-2.4.0" --argstr job "mathcomp-ssreflect"
254+
"9.0-2.4.0" --argstr job "rocq-core"
259255
- if: steps.stepCheck.outputs.status != 'fetched'
260256
name: 'Building/fetching previous CI target: mathcomp-finmap'
261257
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -272,17 +268,13 @@ jobs:
272268
name: 'Building/fetching previous CI target: stdlib'
273269
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
274270
"9.0-2.4.0" --argstr job "stdlib"
275-
- if: steps.stepCheck.outputs.status != 'fetched'
276-
name: 'Building/fetching previous CI target: hierarchy-builder'
277-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
278-
"9.0-2.4.0" --argstr job "hierarchy-builder"
279271
- if: steps.stepCheck.outputs.status != 'fetched'
280272
name: Building/fetching current CI target
281273
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
282274
"9.0-2.4.0" --argstr job "mathcomp-analysis-single"
283275
mathcomp-analysis-stdlib:
284276
needs:
285-
- coq
277+
- rocq-core
286278
- mathcomp-analysis
287279
- mathcomp-reals-stdlib
288280
runs-on: ubuntu-latest
@@ -334,9 +326,9 @@ jobs:
334326
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
335327
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
336328
- if: steps.stepCheck.outputs.status != 'fetched'
337-
name: 'Building/fetching previous CI target: coq'
329+
name: 'Building/fetching previous CI target: rocq-core'
338330
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
339-
"9.0-2.4.0" --argstr job "coq"
331+
"9.0-2.4.0" --argstr job "rocq-core"
340332
- if: steps.stepCheck.outputs.status != 'fetched'
341333
name: 'Building/fetching previous CI target: mathcomp-analysis'
342334
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -349,17 +341,13 @@ jobs:
349341
name: 'Building/fetching previous CI target: stdlib'
350342
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
351343
"9.0-2.4.0" --argstr job "stdlib"
352-
- if: steps.stepCheck.outputs.status != 'fetched'
353-
name: 'Building/fetching previous CI target: hierarchy-builder'
354-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
355-
"9.0-2.4.0" --argstr job "hierarchy-builder"
356344
- if: steps.stepCheck.outputs.status != 'fetched'
357345
name: Building/fetching current CI target
358346
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
359347
"9.0-2.4.0" --argstr job "mathcomp-analysis-stdlib"
360348
mathcomp-classical:
361349
needs:
362-
- coq
350+
- rocq-core
363351
runs-on: ubuntu-latest
364352
steps:
365353
- name: Determine which commit to initially checkout
@@ -409,28 +397,20 @@ jobs:
409397
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
410398
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
411399
- if: steps.stepCheck.outputs.status != 'fetched'
412-
name: 'Building/fetching previous CI target: coq'
413-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
414-
"9.0-2.4.0" --argstr job "coq"
415-
- if: steps.stepCheck.outputs.status != 'fetched'
416-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
417-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
418-
"9.0-2.4.0" --argstr job "mathcomp-ssreflect"
419-
- if: steps.stepCheck.outputs.status != 'fetched'
420-
name: 'Building/fetching previous CI target: mathcomp-finmap'
400+
name: 'Building/fetching previous CI target: rocq-core'
421401
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
422-
"9.0-2.4.0" --argstr job "mathcomp-finmap"
402+
"9.0-2.4.0" --argstr job "rocq-core"
423403
- if: steps.stepCheck.outputs.status != 'fetched'
424-
name: 'Building/fetching previous CI target: hierarchy-builder'
404+
name: 'Building/fetching previous CI target: mathcomp-algebra'
425405
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
426-
"9.0-2.4.0" --argstr job "hierarchy-builder"
406+
"9.0-2.4.0" --argstr job "mathcomp-algebra"
427407
- if: steps.stepCheck.outputs.status != 'fetched'
428408
name: Building/fetching current CI target
429409
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
430410
"9.0-2.4.0" --argstr job "mathcomp-classical"
431411
mathcomp-experimental-reals:
432412
needs:
433-
- coq
413+
- rocq-core
434414
- mathcomp-reals
435415
runs-on: ubuntu-latest
436416
steps:
@@ -481,9 +461,9 @@ jobs:
481461
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
482462
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
483463
- if: steps.stepCheck.outputs.status != 'fetched'
484-
name: 'Building/fetching previous CI target: coq'
464+
name: 'Building/fetching previous CI target: rocq-core'
485465
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
486-
"9.0-2.4.0" --argstr job "coq"
466+
"9.0-2.4.0" --argstr job "rocq-core"
487467
- if: steps.stepCheck.outputs.status != 'fetched'
488468
name: 'Building/fetching previous CI target: mathcomp-reals'
489469
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -492,10 +472,6 @@ jobs:
492472
name: 'Building/fetching previous CI target: mathcomp-bigenough'
493473
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
494474
"9.0-2.4.0" --argstr job "mathcomp-bigenough"
495-
- if: steps.stepCheck.outputs.status != 'fetched'
496-
name: 'Building/fetching previous CI target: hierarchy-builder'
497-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
498-
"9.0-2.4.0" --argstr job "hierarchy-builder"
499475
- if: steps.stepCheck.outputs.status != 'fetched'
500476
name: Building/fetching current CI target
501477
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -574,7 +550,7 @@ jobs:
574550
"9.0-2.4.0" --argstr job "mathcomp-infotheo"
575551
mathcomp-reals:
576552
needs:
577-
- coq
553+
- rocq-core
578554
- mathcomp-classical
579555
runs-on: ubuntu-latest
580556
steps:
@@ -625,24 +601,20 @@ jobs:
625601
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
626602
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
627603
- if: steps.stepCheck.outputs.status != 'fetched'
628-
name: 'Building/fetching previous CI target: coq'
604+
name: 'Building/fetching previous CI target: rocq-core'
629605
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
630-
"9.0-2.4.0" --argstr job "coq"
606+
"9.0-2.4.0" --argstr job "rocq-core"
631607
- if: steps.stepCheck.outputs.status != 'fetched'
632608
name: 'Building/fetching previous CI target: mathcomp-classical'
633609
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
634610
"9.0-2.4.0" --argstr job "mathcomp-classical"
635-
- if: steps.stepCheck.outputs.status != 'fetched'
636-
name: 'Building/fetching previous CI target: hierarchy-builder'
637-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
638-
"9.0-2.4.0" --argstr job "hierarchy-builder"
639611
- if: steps.stepCheck.outputs.status != 'fetched'
640612
name: Building/fetching current CI target
641613
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
642614
"9.0-2.4.0" --argstr job "mathcomp-reals"
643615
mathcomp-reals-stdlib:
644616
needs:
645-
- coq
617+
- rocq-core
646618
- mathcomp-reals
647619
runs-on: ubuntu-latest
648620
steps:
@@ -693,9 +665,9 @@ jobs:
693665
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
694666
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
695667
- if: steps.stepCheck.outputs.status != 'fetched'
696-
name: 'Building/fetching previous CI target: coq'
668+
name: 'Building/fetching previous CI target: rocq-core'
697669
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
698-
"9.0-2.4.0" --argstr job "coq"
670+
"9.0-2.4.0" --argstr job "rocq-core"
699671
- if: steps.stepCheck.outputs.status != 'fetched'
700672
name: 'Building/fetching previous CI target: mathcomp-reals'
701673
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -704,10 +676,6 @@ jobs:
704676
name: 'Building/fetching previous CI target: stdlib'
705677
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
706678
"9.0-2.4.0" --argstr job "stdlib"
707-
- if: steps.stepCheck.outputs.status != 'fetched'
708-
name: 'Building/fetching previous CI target: hierarchy-builder'
709-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
710-
"9.0-2.4.0" --argstr job "hierarchy-builder"
711679
- if: steps.stepCheck.outputs.status != 'fetched'
712680
name: Building/fetching current CI target
713681
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle

0 commit comments

Comments
 (0)