Skip to content

Commit 297cf55

Browse files
TragicusTragicus
committed
update CI
1 parent 131534d commit 297cf55

File tree

5 files changed

+279
-176
lines changed

5 files changed

+279
-176
lines changed

‎.github/workflows/nix-action-coq-8.18.yml‎

Lines changed: 20 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -348,6 +348,10 @@ jobs:
348348
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
349349
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
350350
--argstr job "mathcomp-ssreflect"
351+
- if: steps.stepCheck.outputs.status == 'built'
352+
name: 'Building/fetching previous CI target: stdlib'
353+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
354+
--argstr job "stdlib"
351355
- if: steps.stepCheck.outputs.status == 'built'
352356
name: Building/fetching current CI target
353357
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -464,6 +468,10 @@ jobs:
464468
name: 'Building/fetching previous CI target: mathcomp-algebra'
465469
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
466470
--argstr job "mathcomp-algebra"
471+
- if: steps.stepCheck.outputs.status == 'built'
472+
name: 'Building/fetching previous CI target: stdlib'
473+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
474+
--argstr job "stdlib"
467475
- if: steps.stepCheck.outputs.status == 'built'
468476
name: Building/fetching current CI target
469477
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -523,6 +531,10 @@ jobs:
523531
name: 'Building/fetching previous CI target: coq'
524532
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
525533
--argstr job "coq"
534+
- if: steps.stepCheck.outputs.status == 'built'
535+
name: 'Building/fetching previous CI target: stdlib'
536+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
537+
--argstr job "stdlib"
526538
- if: steps.stepCheck.outputs.status == 'built'
527539
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
528540
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -590,6 +602,10 @@ jobs:
590602
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
591603
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
592604
--argstr job "mathcomp-ssreflect"
605+
- if: steps.stepCheck.outputs.status == 'built'
606+
name: 'Building/fetching previous CI target: stdlib'
607+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
608+
--argstr job "stdlib"
593609
- if: steps.stepCheck.outputs.status == 'built'
594610
name: Building/fetching current CI target
595611
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -939,10 +955,6 @@ jobs:
939955
name: 'Building/fetching previous CI target: coq'
940956
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
941957
--argstr job "coq"
942-
- if: steps.stepCheck.outputs.status == 'built'
943-
name: 'Building/fetching previous CI target: stdlib'
944-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
945-
--argstr job "stdlib"
946958
- if: steps.stepCheck.outputs.status == 'built'
947959
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
948960
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1032,10 +1044,6 @@ jobs:
10321044
name: 'Building/fetching previous CI target: coq'
10331045
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
10341046
--argstr job "coq"
1035-
- if: steps.stepCheck.outputs.status == 'built'
1036-
name: 'Building/fetching previous CI target: stdlib'
1037-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1038-
--argstr job "stdlib"
10391047
- if: steps.stepCheck.outputs.status == 'built'
10401048
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
10411049
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1175,10 +1183,6 @@ jobs:
11751183
name: 'Building/fetching previous CI target: coq'
11761184
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
11771185
--argstr job "coq"
1178-
- if: steps.stepCheck.outputs.status == 'built'
1179-
name: 'Building/fetching previous CI target: stdlib'
1180-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1181-
--argstr job "stdlib"
11821186
- if: steps.stepCheck.outputs.status == 'built'
11831187
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
11841188
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1266,10 +1270,6 @@ jobs:
12661270
name: 'Building/fetching previous CI target: coq'
12671271
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
12681272
--argstr job "coq"
1269-
- if: steps.stepCheck.outputs.status == 'built'
1270-
name: 'Building/fetching previous CI target: stdlib'
1271-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1272-
--argstr job "stdlib"
12731273
- if: steps.stepCheck.outputs.status == 'built'
12741274
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
12751275
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1350,10 +1350,6 @@ jobs:
13501350
name: 'Building/fetching previous CI target: coq'
13511351
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
13521352
--argstr job "coq"
1353-
- if: steps.stepCheck.outputs.status == 'built'
1354-
name: 'Building/fetching previous CI target: stdlib'
1355-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1356-
--argstr job "stdlib"
13571353
- if: steps.stepCheck.outputs.status == 'built'
13581354
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
13591355
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1572,10 +1568,6 @@ jobs:
15721568
name: 'Building/fetching previous CI target: coq'
15731569
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
15741570
--argstr job "coq"
1575-
- if: steps.stepCheck.outputs.status == 'built'
1576-
name: 'Building/fetching previous CI target: stdlib'
1577-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1578-
--argstr job "stdlib"
15791571
- if: steps.stepCheck.outputs.status == 'built'
15801572
name: 'Building/fetching previous CI target: hierarchy-builder'
15811573
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1642,10 +1634,6 @@ jobs:
16421634
name: 'Building/fetching previous CI target: coq'
16431635
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
16441636
--argstr job "coq"
1645-
- if: steps.stepCheck.outputs.status == 'built'
1646-
name: 'Building/fetching previous CI target: stdlib'
1647-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1648-
--argstr job "stdlib"
16491637
- if: steps.stepCheck.outputs.status == 'built'
16501638
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
16511639
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1721,10 +1709,6 @@ jobs:
17211709
name: 'Building/fetching previous CI target: coq'
17221710
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
17231711
--argstr job "coq"
1724-
- if: steps.stepCheck.outputs.status == 'built'
1725-
name: 'Building/fetching previous CI target: stdlib'
1726-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1727-
--argstr job "stdlib"
17281712
- if: steps.stepCheck.outputs.status == 'built'
17291713
name: 'Building/fetching previous CI target: hierarchy-builder'
17301714
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1968,6 +1952,10 @@ jobs:
19681952
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
19691953
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
19701954
--argstr job "mathcomp-ssreflect"
1955+
- if: steps.stepCheck.outputs.status == 'built'
1956+
name: 'Building/fetching previous CI target: stdlib'
1957+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1958+
--argstr job "stdlib"
19711959
- if: steps.stepCheck.outputs.status == 'built'
19721960
name: Building/fetching current CI target
19731961
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"

‎.github/workflows/nix-action-coq-8.19.yml‎

Lines changed: 32 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -200,6 +200,10 @@ jobs:
200200
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
201201
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
202202
--argstr job "mathcomp-ssreflect"
203+
- if: steps.stepCheck.outputs.status == 'built'
204+
name: 'Building/fetching previous CI target: stdlib'
205+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
206+
--argstr job "stdlib"
203207
- if: steps.stepCheck.outputs.status == 'built'
204208
name: Building/fetching current CI target
205209
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -316,6 +320,10 @@ jobs:
316320
name: 'Building/fetching previous CI target: mathcomp-algebra'
317321
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
318322
--argstr job "mathcomp-algebra"
323+
- if: steps.stepCheck.outputs.status == 'built'
324+
name: 'Building/fetching previous CI target: stdlib'
325+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
326+
--argstr job "stdlib"
319327
- if: steps.stepCheck.outputs.status == 'built'
320328
name: Building/fetching current CI target
321329
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -375,6 +383,10 @@ jobs:
375383
name: 'Building/fetching previous CI target: coq'
376384
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
377385
--argstr job "coq"
386+
- if: steps.stepCheck.outputs.status == 'built'
387+
name: 'Building/fetching previous CI target: stdlib'
388+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
389+
--argstr job "stdlib"
378390
- if: steps.stepCheck.outputs.status == 'built'
379391
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
380392
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -442,6 +454,10 @@ jobs:
442454
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
443455
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
444456
--argstr job "mathcomp-ssreflect"
457+
- if: steps.stepCheck.outputs.status == 'built'
458+
name: 'Building/fetching previous CI target: stdlib'
459+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
460+
--argstr job "stdlib"
445461
- if: steps.stepCheck.outputs.status == 'built'
446462
name: Building/fetching current CI target
447463
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -791,10 +807,6 @@ jobs:
791807
name: 'Building/fetching previous CI target: coq'
792808
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
793809
--argstr job "coq"
794-
- if: steps.stepCheck.outputs.status == 'built'
795-
name: 'Building/fetching previous CI target: stdlib'
796-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
797-
--argstr job "stdlib"
798810
- if: steps.stepCheck.outputs.status == 'built'
799811
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
800812
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -884,10 +896,6 @@ jobs:
884896
name: 'Building/fetching previous CI target: coq'
885897
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
886898
--argstr job "coq"
887-
- if: steps.stepCheck.outputs.status == 'built'
888-
name: 'Building/fetching previous CI target: stdlib'
889-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
890-
--argstr job "stdlib"
891899
- if: steps.stepCheck.outputs.status == 'built'
892900
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
893901
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -1047,6 +1055,10 @@ jobs:
10471055
name: 'Building/fetching previous CI target: mathcomp-reals-stdlib'
10481056
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
10491057
--argstr job "mathcomp-reals-stdlib"
1058+
- if: steps.stepCheck.outputs.status == 'built'
1059+
name: 'Building/fetching previous CI target: stdlib'
1060+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1061+
--argstr job "stdlib"
10501062
- if: steps.stepCheck.outputs.status == 'built'
10511063
name: 'Building/fetching previous CI target: hierarchy-builder'
10521064
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -1178,10 +1190,6 @@ jobs:
11781190
name: 'Building/fetching previous CI target: coq'
11791191
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
11801192
--argstr job "coq"
1181-
- if: steps.stepCheck.outputs.status == 'built'
1182-
name: 'Building/fetching previous CI target: stdlib'
1183-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1184-
--argstr job "stdlib"
11851193
- if: steps.stepCheck.outputs.status == 'built'
11861194
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
11871195
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -1415,10 +1423,6 @@ jobs:
14151423
name: 'Building/fetching previous CI target: coq'
14161424
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
14171425
--argstr job "coq"
1418-
- if: steps.stepCheck.outputs.status == 'built'
1419-
name: 'Building/fetching previous CI target: stdlib'
1420-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1421-
--argstr job "stdlib"
14221426
- if: steps.stepCheck.outputs.status == 'built'
14231427
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
14241428
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -1499,10 +1503,6 @@ jobs:
14991503
name: 'Building/fetching previous CI target: coq'
15001504
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
15011505
--argstr job "coq"
1502-
- if: steps.stepCheck.outputs.status == 'built'
1503-
name: 'Building/fetching previous CI target: stdlib'
1504-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1505-
--argstr job "stdlib"
15061506
- if: steps.stepCheck.outputs.status == 'built'
15071507
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
15081508
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -1794,6 +1794,10 @@ jobs:
17941794
name: 'Building/fetching previous CI target: mathcomp-reals'
17951795
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
17961796
--argstr job "mathcomp-reals"
1797+
- if: steps.stepCheck.outputs.status == 'built'
1798+
name: 'Building/fetching previous CI target: stdlib'
1799+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1800+
--argstr job "stdlib"
17971801
- if: steps.stepCheck.outputs.status == 'built'
17981802
name: 'Building/fetching previous CI target: hierarchy-builder'
17991803
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -1857,14 +1861,14 @@ jobs:
18571861
name: 'Building/fetching previous CI target: coq'
18581862
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
18591863
--argstr job "coq"
1860-
- if: steps.stepCheck.outputs.status == 'built'
1861-
name: 'Building/fetching previous CI target: stdlib'
1862-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1863-
--argstr job "stdlib"
18641864
- if: steps.stepCheck.outputs.status == 'built'
18651865
name: 'Building/fetching previous CI target: hierarchy-builder'
18661866
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
18671867
--argstr job "hierarchy-builder"
1868+
- if: steps.stepCheck.outputs.status == 'built'
1869+
name: 'Building/fetching previous CI target: stdlib'
1870+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1871+
--argstr job "stdlib"
18681872
- if: steps.stepCheck.outputs.status == 'built'
18691873
name: Building/fetching current CI target
18701874
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -1927,10 +1931,6 @@ jobs:
19271931
name: 'Building/fetching previous CI target: coq'
19281932
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
19291933
--argstr job "coq"
1930-
- if: steps.stepCheck.outputs.status == 'built'
1931-
name: 'Building/fetching previous CI target: stdlib'
1932-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1933-
--argstr job "stdlib"
19341934
- if: steps.stepCheck.outputs.status == 'built'
19351935
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
19361936
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -2006,10 +2006,6 @@ jobs:
20062006
name: 'Building/fetching previous CI target: coq'
20072007
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
20082008
--argstr job "coq"
2009-
- if: steps.stepCheck.outputs.status == 'built'
2010-
name: 'Building/fetching previous CI target: stdlib'
2011-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
2012-
--argstr job "stdlib"
20132009
- if: steps.stepCheck.outputs.status == 'built'
20142010
name: 'Building/fetching previous CI target: hierarchy-builder'
20152011
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
@@ -2253,6 +2249,10 @@ jobs:
22532249
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
22542250
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
22552251
--argstr job "mathcomp-ssreflect"
2252+
- if: steps.stepCheck.outputs.status == 'built'
2253+
name: 'Building/fetching previous CI target: stdlib'
2254+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
2255+
--argstr job "stdlib"
22562256
- if: steps.stepCheck.outputs.status == 'built'
22572257
name: Building/fetching current CI target
22582258
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"

0 commit comments

Comments
 (0)