Skip to content

Commit ec1b16d

Browse files
proux01proux01
authored
Merge pull request #489 from proux01/ci_update
CI update
2 parents 717ef2b + dad50db commit ec1b16d

24 files changed

+1171
-135
lines changed

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

Lines changed: 63 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ jobs:
2929
fetch-depth: 0
3030
ref: ${{ env.tested_commit }}
3131
- name: Cachix install
32-
uses: cachix/install-nix-action@v27
32+
uses: cachix/install-nix-action@v30
3333
with:
3434
nix_path: nixpkgs=channel:nixpkgs-unstable
3535
- name: Cachix setup math-comp
@@ -53,9 +53,9 @@ jobs:
5353
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
5454
--argstr job "mathcomp-ssreflect"
5555
- if: steps.stepCheck.outputs.status == 'built'
56-
name: 'Building/fetching previous CI target: coq-ext-lib'
56+
name: 'Building/fetching previous CI target: ExtLib'
5757
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
58-
--argstr job "coq-ext-lib"
58+
--argstr job "ExtLib"
5959
- if: steps.stepCheck.outputs.status == 'built'
6060
name: 'Building/fetching previous CI target: simple-io'
6161
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -94,7 +94,7 @@ jobs:
9494
fetch-depth: 0
9595
ref: ${{ env.tested_commit }}
9696
- name: Cachix install
97-
uses: cachix/install-nix-action@v27
97+
uses: cachix/install-nix-action@v30
9898
with:
9999
nix_path: nixpkgs=channel:nixpkgs-unstable
100100
- name: Cachix setup math-comp
@@ -161,7 +161,7 @@ jobs:
161161
fetch-depth: 0
162162
ref: ${{ env.tested_commit }}
163163
- name: Cachix install
164-
uses: cachix/install-nix-action@v27
164+
uses: cachix/install-nix-action@v30
165165
with:
166166
nix_path: nixpkgs=channel:nixpkgs-unstable
167167
- name: Cachix setup math-comp
@@ -230,7 +230,7 @@ jobs:
230230
fetch-depth: 0
231231
ref: ${{ env.tested_commit }}
232232
- name: Cachix install
233-
uses: cachix/install-nix-action@v27
233+
uses: cachix/install-nix-action@v30
234234
with:
235235
nix_path: nixpkgs=channel:nixpkgs-unstable
236236
- name: Cachix setup math-comp
@@ -295,7 +295,7 @@ jobs:
295295
fetch-depth: 0
296296
ref: ${{ env.tested_commit }}
297297
- name: Cachix install
298-
uses: cachix/install-nix-action@v27
298+
uses: cachix/install-nix-action@v30
299299
with:
300300
nix_path: nixpkgs=channel:nixpkgs-unstable
301301
- name: Cachix setup math-comp
@@ -350,7 +350,7 @@ jobs:
350350
fetch-depth: 0
351351
ref: ${{ env.tested_commit }}
352352
- name: Cachix install
353-
uses: cachix/install-nix-action@v27
353+
uses: cachix/install-nix-action@v30
354354
with:
355355
nix_path: nixpkgs=channel:nixpkgs-unstable
356356
- name: Cachix setup math-comp
@@ -399,7 +399,7 @@ jobs:
399399
fetch-depth: 0
400400
ref: ${{ env.tested_commit }}
401401
- name: Cachix install
402-
uses: cachix/install-nix-action@v27
402+
uses: cachix/install-nix-action@v30
403403
with:
404404
nix_path: nixpkgs=channel:nixpkgs-unstable
405405
- name: Cachix setup math-comp
@@ -458,7 +458,7 @@ jobs:
458458
fetch-depth: 0
459459
ref: ${{ env.tested_commit }}
460460
- name: Cachix install
461-
uses: cachix/install-nix-action@v27
461+
uses: cachix/install-nix-action@v30
462462
with:
463463
nix_path: nixpkgs=channel:nixpkgs-unstable
464464
- name: Cachix setup math-comp
@@ -531,7 +531,7 @@ jobs:
531531
fetch-depth: 0
532532
ref: ${{ env.tested_commit }}
533533
- name: Cachix install
534-
uses: cachix/install-nix-action@v27
534+
uses: cachix/install-nix-action@v30
535535
with:
536536
nix_path: nixpkgs=channel:nixpkgs-unstable
537537
- name: Cachix setup math-comp
@@ -588,7 +588,7 @@ jobs:
588588
fetch-depth: 0
589589
ref: ${{ env.tested_commit }}
590590
- name: Cachix install
591-
uses: cachix/install-nix-action@v27
591+
uses: cachix/install-nix-action@v30
592592
with:
593593
nix_path: nixpkgs=channel:nixpkgs-unstable
594594
- name: Cachix setup math-comp
@@ -647,7 +647,7 @@ jobs:
647647
fetch-depth: 0
648648
ref: ${{ env.tested_commit }}
649649
- name: Cachix install
650-
uses: cachix/install-nix-action@v27
650+
uses: cachix/install-nix-action@v30
651651
with:
652652
nix_path: nixpkgs=channel:nixpkgs-unstable
653653
- name: Cachix setup math-comp
@@ -711,7 +711,7 @@ jobs:
711711
fetch-depth: 0
712712
ref: ${{ env.tested_commit }}
713713
- name: Cachix install
714-
uses: cachix/install-nix-action@v27
714+
uses: cachix/install-nix-action@v30
715715
with:
716716
nix_path: nixpkgs=channel:nixpkgs-unstable
717717
- name: Cachix setup math-comp
@@ -769,7 +769,7 @@ jobs:
769769
fetch-depth: 0
770770
ref: ${{ env.tested_commit }}
771771
- name: Cachix install
772-
uses: cachix/install-nix-action@v27
772+
uses: cachix/install-nix-action@v30
773773
with:
774774
nix_path: nixpkgs=channel:nixpkgs-unstable
775775
- name: Cachix setup math-comp
@@ -832,7 +832,7 @@ jobs:
832832
fetch-depth: 0
833833
ref: ${{ env.tested_commit }}
834834
- name: Cachix install
835-
uses: cachix/install-nix-action@v27
835+
uses: cachix/install-nix-action@v30
836836
with:
837837
nix_path: nixpkgs=channel:nixpkgs-unstable
838838
- name: Cachix setup math-comp
@@ -911,7 +911,7 @@ jobs:
911911
fetch-depth: 0
912912
ref: ${{ env.tested_commit }}
913913
- name: Cachix install
914-
uses: cachix/install-nix-action@v27
914+
uses: cachix/install-nix-action@v30
915915
with:
916916
nix_path: nixpkgs=channel:nixpkgs-unstable
917917
- name: Cachix setup math-comp
@@ -930,6 +930,10 @@ jobs:
930930
name: 'Building/fetching previous CI target: coq'
931931
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
932932
--argstr job "coq"
933+
- if: steps.stepCheck.outputs.status == 'built'
934+
name: 'Building/fetching previous CI target: stdlib'
935+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
936+
--argstr job "stdlib"
933937
- if: steps.stepCheck.outputs.status == 'built'
934938
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
935939
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -994,7 +998,7 @@ jobs:
994998
fetch-depth: 0
995999
ref: ${{ env.tested_commit }}
9961000
- name: Cachix install
997-
uses: cachix/install-nix-action@v27
1001+
uses: cachix/install-nix-action@v30
9981002
with:
9991003
nix_path: nixpkgs=channel:nixpkgs-unstable
10001004
- name: Cachix setup math-comp
@@ -1013,6 +1017,10 @@ jobs:
10131017
name: 'Building/fetching previous CI target: coq'
10141018
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
10151019
--argstr job "coq"
1020+
- if: steps.stepCheck.outputs.status == 'built'
1021+
name: 'Building/fetching previous CI target: stdlib'
1022+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1023+
--argstr job "stdlib"
10161024
- if: steps.stepCheck.outputs.status == 'built'
10171025
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
10181026
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1059,7 +1067,7 @@ jobs:
10591067
fetch-depth: 0
10601068
ref: ${{ env.tested_commit }}
10611069
- name: Cachix install
1062-
uses: cachix/install-nix-action@v27
1070+
uses: cachix/install-nix-action@v30
10631071
with:
10641072
nix_path: nixpkgs=channel:nixpkgs-unstable
10651073
- name: Cachix setup math-comp
@@ -1121,7 +1129,7 @@ jobs:
11211129
fetch-depth: 0
11221130
ref: ${{ env.tested_commit }}
11231131
- name: Cachix install
1124-
uses: cachix/install-nix-action@v27
1132+
uses: cachix/install-nix-action@v30
11251133
with:
11261134
nix_path: nixpkgs=channel:nixpkgs-unstable
11271135
- name: Cachix setup math-comp
@@ -1140,6 +1148,10 @@ jobs:
11401148
name: 'Building/fetching previous CI target: coq'
11411149
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
11421150
--argstr job "coq"
1151+
- if: steps.stepCheck.outputs.status == 'built'
1152+
name: 'Building/fetching previous CI target: stdlib'
1153+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1154+
--argstr job "stdlib"
11431155
- if: steps.stepCheck.outputs.status == 'built'
11441156
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
11451157
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1202,7 +1214,7 @@ jobs:
12021214
fetch-depth: 0
12031215
ref: ${{ env.tested_commit }}
12041216
- name: Cachix install
1205-
uses: cachix/install-nix-action@v27
1217+
uses: cachix/install-nix-action@v30
12061218
with:
12071219
nix_path: nixpkgs=channel:nixpkgs-unstable
12081220
- name: Cachix setup math-comp
@@ -1221,6 +1233,10 @@ jobs:
12211233
name: 'Building/fetching previous CI target: coq'
12221234
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
12231235
--argstr job "coq"
1236+
- if: steps.stepCheck.outputs.status == 'built'
1237+
name: 'Building/fetching previous CI target: stdlib'
1238+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1239+
--argstr job "stdlib"
12241240
- if: steps.stepCheck.outputs.status == 'built'
12251241
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
12261242
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1276,7 +1292,7 @@ jobs:
12761292
fetch-depth: 0
12771293
ref: ${{ env.tested_commit }}
12781294
- name: Cachix install
1279-
uses: cachix/install-nix-action@v27
1295+
uses: cachix/install-nix-action@v30
12801296
with:
12811297
nix_path: nixpkgs=channel:nixpkgs-unstable
12821298
- name: Cachix setup math-comp
@@ -1295,6 +1311,10 @@ jobs:
12951311
name: 'Building/fetching previous CI target: coq'
12961312
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
12971313
--argstr job "coq"
1314+
- if: steps.stepCheck.outputs.status == 'built'
1315+
name: 'Building/fetching previous CI target: stdlib'
1316+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1317+
--argstr job "stdlib"
12981318
- if: steps.stepCheck.outputs.status == 'built'
12991319
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
13001320
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1337,7 +1357,7 @@ jobs:
13371357
fetch-depth: 0
13381358
ref: ${{ env.tested_commit }}
13391359
- name: Cachix install
1340-
uses: cachix/install-nix-action@v27
1360+
uses: cachix/install-nix-action@v30
13411361
with:
13421362
nix_path: nixpkgs=channel:nixpkgs-unstable
13431363
- name: Cachix setup math-comp
@@ -1399,7 +1419,7 @@ jobs:
13991419
fetch-depth: 0
14001420
ref: ${{ env.tested_commit }}
14011421
- name: Cachix install
1402-
uses: cachix/install-nix-action@v27
1422+
uses: cachix/install-nix-action@v30
14031423
with:
14041424
nix_path: nixpkgs=channel:nixpkgs-unstable
14051425
- name: Cachix setup math-comp
@@ -1476,7 +1496,7 @@ jobs:
14761496
fetch-depth: 0
14771497
ref: ${{ env.tested_commit }}
14781498
- name: Cachix install
1479-
uses: cachix/install-nix-action@v27
1499+
uses: cachix/install-nix-action@v30
14801500
with:
14811501
nix_path: nixpkgs=channel:nixpkgs-unstable
14821502
- name: Cachix setup math-comp
@@ -1495,6 +1515,10 @@ jobs:
14951515
name: 'Building/fetching previous CI target: coq'
14961516
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
14971517
--argstr job "coq"
1518+
- if: steps.stepCheck.outputs.status == 'built'
1519+
name: 'Building/fetching previous CI target: stdlib'
1520+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1521+
--argstr job "stdlib"
14981522
- if: steps.stepCheck.outputs.status == 'built'
14991523
name: 'Building/fetching previous CI target: hierarchy-builder'
15001524
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1536,7 +1560,7 @@ jobs:
15361560
fetch-depth: 0
15371561
ref: ${{ env.tested_commit }}
15381562
- name: Cachix install
1539-
uses: cachix/install-nix-action@v27
1563+
uses: cachix/install-nix-action@v30
15401564
with:
15411565
nix_path: nixpkgs=channel:nixpkgs-unstable
15421566
- name: Cachix setup math-comp
@@ -1555,6 +1579,10 @@ jobs:
15551579
name: 'Building/fetching previous CI target: coq'
15561580
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
15571581
--argstr job "coq"
1582+
- if: steps.stepCheck.outputs.status == 'built'
1583+
name: 'Building/fetching previous CI target: stdlib'
1584+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1585+
--argstr job "stdlib"
15581586
- if: steps.stepCheck.outputs.status == 'built'
15591587
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
15601588
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1605,7 +1633,7 @@ jobs:
16051633
fetch-depth: 0
16061634
ref: ${{ env.tested_commit }}
16071635
- name: Cachix install
1608-
uses: cachix/install-nix-action@v27
1636+
uses: cachix/install-nix-action@v30
16091637
with:
16101638
nix_path: nixpkgs=channel:nixpkgs-unstable
16111639
- name: Cachix setup math-comp
@@ -1624,6 +1652,10 @@ jobs:
16241652
name: 'Building/fetching previous CI target: coq'
16251653
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
16261654
--argstr job "coq"
1655+
- if: steps.stepCheck.outputs.status == 'built'
1656+
name: 'Building/fetching previous CI target: stdlib'
1657+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1658+
--argstr job "stdlib"
16271659
- if: steps.stepCheck.outputs.status == 'built'
16281660
name: 'Building/fetching previous CI target: hierarchy-builder'
16291661
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1666,7 +1698,7 @@ jobs:
16661698
fetch-depth: 0
16671699
ref: ${{ env.tested_commit }}
16681700
- name: Cachix install
1669-
uses: cachix/install-nix-action@v27
1701+
uses: cachix/install-nix-action@v30
16701702
with:
16711703
nix_path: nixpkgs=channel:nixpkgs-unstable
16721704
- name: Cachix setup math-comp
@@ -1745,7 +1777,7 @@ jobs:
17451777
fetch-depth: 0
17461778
ref: ${{ env.tested_commit }}
17471779
- name: Cachix install
1748-
uses: cachix/install-nix-action@v27
1780+
uses: cachix/install-nix-action@v30
17491781
with:
17501782
nix_path: nixpkgs=channel:nixpkgs-unstable
17511783
- name: Cachix setup math-comp
@@ -1826,7 +1858,7 @@ jobs:
18261858
fetch-depth: 0
18271859
ref: ${{ env.tested_commit }}
18281860
- name: Cachix install
1829-
uses: cachix/install-nix-action@v27
1861+
uses: cachix/install-nix-action@v30
18301862
with:
18311863
nix_path: nixpkgs=channel:nixpkgs-unstable
18321864
- name: Cachix setup math-comp
@@ -1883,7 +1915,7 @@ jobs:
18831915
fetch-depth: 0
18841916
ref: ${{ env.tested_commit }}
18851917
- name: Cachix install
1886-
uses: cachix/install-nix-action@v27
1918+
uses: cachix/install-nix-action@v30
18871919
with:
18881920
nix_path: nixpkgs=channel:nixpkgs-unstable
18891921
- name: Cachix setup math-comp

0 commit comments

Comments
 (0)