Skip to content

Commit 445fd50

Browse files
proux01proux01
committed
[CI] Update Nix toolbox
1 parent 89503cd commit 445fd50

4 files changed

Lines changed: 77 additions & 126 deletions

File tree

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

Lines changed: 18 additions & 42 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 }}
@@ -52,12 +52,12 @@ jobs:
5252
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
5353
- if: steps.stepCheck.outputs.status != 'fetched'
5454
name: 'Building/fetching previous CI target: rocq-core'
55-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
56-
job "rocq-core"
55+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1"
56+
--argstr job "rocq-core"
5757
- if: steps.stepCheck.outputs.status != 'fetched'
5858
name: Building/fetching current CI target
59-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
60-
job "coq"
59+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1"
60+
--argstr job "coq"
6161
odd-order:
6262
needs:
6363
- coq
@@ -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 }}
@@ -111,40 +111,16 @@ jobs:
111111
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
112112
- if: steps.stepCheck.outputs.status != 'fetched'
113113
name: 'Building/fetching previous CI target: coq'
114-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
115-
job "coq"
114+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1"
115+
--argstr job "coq"
116116
- if: steps.stepCheck.outputs.status != 'fetched'
117117
name: 'Building/fetching previous CI target: mathcomp-character'
118-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
119-
job "mathcomp-character"
120-
- if: steps.stepCheck.outputs.status != 'fetched'
121-
name: 'Building/fetching previous CI target: mathcomp-boot'
122-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
123-
job "mathcomp-boot"
124-
- if: steps.stepCheck.outputs.status != 'fetched'
125-
name: 'Building/fetching previous CI target: mathcomp-fingroup'
126-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
127-
job "mathcomp-fingroup"
128-
- if: steps.stepCheck.outputs.status != 'fetched'
129-
name: 'Building/fetching previous CI target: mathcomp-algebra'
130-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
131-
job "mathcomp-algebra"
132-
- if: steps.stepCheck.outputs.status != 'fetched'
133-
name: 'Building/fetching previous CI target: mathcomp-solvable'
134-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
135-
job "mathcomp-solvable"
136-
- if: steps.stepCheck.outputs.status != 'fetched'
137-
name: 'Building/fetching previous CI target: mathcomp-field'
138-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
139-
job "mathcomp-field"
140-
- if: steps.stepCheck.outputs.status != 'fetched'
141-
name: 'Building/fetching previous CI target: mathcomp'
142-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
143-
job "mathcomp"
118+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1"
119+
--argstr job "mathcomp-character"
144120
- if: steps.stepCheck.outputs.status != 'fetched'
145121
name: Building/fetching current CI target
146-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
147-
job "odd-order"
122+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1"
123+
--argstr job "odd-order"
148124
rocq-core:
149125
needs: []
150126
runs-on: ubuntu-latest
@@ -154,7 +130,7 @@ jobs:
154130
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
155131
}}\" >> $GITHUB_ENV\nfi\n"
156132
- name: Git checkout
157-
uses: actions/checkout@v4
133+
uses: actions/checkout@v6
158134
with:
159135
fetch-depth: 0
160136
ref: ${{ env.target_commit }}
@@ -168,7 +144,7 @@ jobs:
168144
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
169145
\ fi\nfi\n"
170146
- name: Git checkout
171-
uses: actions/checkout@v4
147+
uses: actions/checkout@v6
172148
with:
173149
fetch-depth: 0
174150
ref: ${{ env.tested_commit }}
@@ -197,8 +173,8 @@ jobs:
197173
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
198174
- if: steps.stepCheck.outputs.status != 'fetched'
199175
name: Building/fetching current CI target
200-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1" --argstr
201-
job "rocq-core"
176+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "9.1"
177+
--argstr job "rocq-core"
202178
name: Nix CI for bundle 9.1
203179
on:
204180
pull_request:

0 commit comments

Comments
 (0)