Skip to content

Commit c479551

Browse files
pi8027pi8027
committed
Update Nix toolbox
1 parent 0e3e384 commit c479551

File tree

6 files changed

+361
-314
lines changed

6 files changed

+361
-314
lines changed

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

Lines changed: 20 additions & 109 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ jobs:
88
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
99
}}\" >> $GITHUB_ENV\nfi\n"
1010
- name: Git checkout
11-
uses: actions/checkout@v4
11+
uses: actions/checkout@v6
1212
with:
1313
fetch-depth: 0
1414
ref: ${{ env.target_commit }}
@@ -22,7 +22,7 @@ jobs:
2222
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
2323
\ fi\nfi\n"
2424
- name: Git checkout
25-
uses: actions/checkout@v4
25+
uses: actions/checkout@v6
2626
with:
2727
fetch-depth: 0
2828
ref: ${{ env.tested_commit }}
@@ -51,86 +51,18 @@ jobs:
5151
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
5252
- if: steps.stepCheck.outputs.status != 'fetched'
5353
name: Building/fetching current CI target
54-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
55-
job "coq"
56-
mathcomp:
57-
needs:
58-
- coq
59-
runs-on: ubuntu-latest
60-
steps:
61-
- name: Determine which commit to initially checkout
62-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
63-
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
64-
}}\" >> $GITHUB_ENV\nfi\n"
65-
- name: Git checkout
66-
uses: actions/checkout@v4
67-
with:
68-
fetch-depth: 0
69-
ref: ${{ env.target_commit }}
70-
- name: Determine which commit to test
71-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
72-
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
73-
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
74-
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
75-
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
76-
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
77-
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
78-
\ fi\nfi\n"
79-
- name: Git checkout
80-
uses: actions/checkout@v4
81-
with:
82-
fetch-depth: 0
83-
ref: ${{ env.tested_commit }}
84-
- name: Cachix install
85-
uses: cachix/install-nix-action@v31
86-
with:
87-
nix_path: nixpkgs=channel:nixpkgs-unstable
88-
- name: Cachix setup math-comp
89-
uses: cachix/cachix-action@v16
90-
with:
91-
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
92-
extraPullNames: coq, coq-community
93-
name: math-comp
94-
- id: stepGetDerivation
95-
name: Getting derivation for current job (mathcomp)
96-
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
97-
\"8.20\" --argstr job \"mathcomp\" \\\n --dry-run 2> err > out || (touch
98-
fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
99-
failed\"; exit 1; fi\n"
100-
- id: stepCheck
101-
name: Checking presence of CI target for current job
102-
run: "if $(cat out err | grep -q \"built:\") ; then\n echo \"CI target needs
103-
actual building\"\n if $(cat out err | grep -q \"derivations will be built:\"\
104-
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
105-
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
106-
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
107-
- if: steps.stepCheck.outputs.status != 'fetched'
108-
name: 'Building/fetching previous CI target: coq'
109-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
110-
job "coq"
111-
- if: steps.stepCheck.outputs.status != 'fetched'
112-
name: 'Building/fetching previous CI target: mathcomp-character'
113-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
114-
job "mathcomp-character"
115-
- if: steps.stepCheck.outputs.status != 'fetched'
116-
name: 'Building/fetching previous CI target: hierarchy-builder'
117-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
118-
job "hierarchy-builder"
119-
- if: steps.stepCheck.outputs.status != 'fetched'
120-
name: Building/fetching current CI target
121-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
122-
job "mathcomp"
54+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20"
55+
--argstr job "coq"
12356
mathcomp-finmap:
124-
needs:
125-
- coq
57+
needs: []
12658
runs-on: ubuntu-latest
12759
steps:
12860
- name: Determine which commit to initially checkout
12961
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
13062
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
13163
}}\" >> $GITHUB_ENV\nfi\n"
13264
- name: Git checkout
133-
uses: actions/checkout@v4
65+
uses: actions/checkout@v6
13466
with:
13567
fetch-depth: 0
13668
ref: ${{ env.target_commit }}
@@ -144,7 +76,7 @@ jobs:
14476
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
14577
\ fi\nfi\n"
14678
- name: Git checkout
147-
uses: actions/checkout@v4
79+
uses: actions/checkout@v6
14880
with:
14981
fetch-depth: 0
15082
ref: ${{ env.tested_commit }}
@@ -172,29 +104,28 @@ jobs:
172104
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
173105
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
174106
- if: steps.stepCheck.outputs.status != 'fetched'
175-
name: 'Building/fetching previous CI target: coq'
176-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
177-
job "coq"
107+
name: 'Building/fetching previous CI target: rocq-core'
108+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20"
109+
--argstr job "rocq-core"
178110
- if: steps.stepCheck.outputs.status != 'fetched'
179111
name: 'Building/fetching previous CI target: mathcomp-boot'
180-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
181-
job "mathcomp-boot"
112+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20"
113+
--argstr job "mathcomp-boot"
182114
- if: steps.stepCheck.outputs.status != 'fetched'
183115
name: Building/fetching current CI target
184-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
185-
job "mathcomp-finmap"
116+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20"
117+
--argstr job "mathcomp-finmap"
186118
multinomials:
187119
needs:
188120
- coq
189-
- mathcomp-finmap
190121
runs-on: ubuntu-latest
191122
steps:
192123
- name: Determine which commit to initially checkout
193124
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
194125
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
195126
}}\" >> $GITHUB_ENV\nfi\n"
196127
- name: Git checkout
197-
uses: actions/checkout@v4
128+
uses: actions/checkout@v6
198129
with:
199130
fetch-depth: 0
200131
ref: ${{ env.target_commit }}
@@ -208,7 +139,7 @@ jobs:
208139
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
209140
\ fi\nfi\n"
210141
- name: Git checkout
211-
uses: actions/checkout@v4
142+
uses: actions/checkout@v6
212143
with:
213144
fetch-depth: 0
214145
ref: ${{ env.tested_commit }}
@@ -237,32 +168,12 @@ jobs:
237168
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
238169
- if: steps.stepCheck.outputs.status != 'fetched'
239170
name: 'Building/fetching previous CI target: coq'
240-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
241-
job "coq"
242-
- if: steps.stepCheck.outputs.status != 'fetched'
243-
name: 'Building/fetching previous CI target: mathcomp-boot'
244-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
245-
job "mathcomp-boot"
246-
- if: steps.stepCheck.outputs.status != 'fetched'
247-
name: 'Building/fetching previous CI target: mathcomp-algebra'
248-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
249-
job "mathcomp-algebra"
250-
- if: steps.stepCheck.outputs.status != 'fetched'
251-
name: 'Building/fetching previous CI target: mathcomp-finmap'
252-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
253-
job "mathcomp-finmap"
254-
- if: steps.stepCheck.outputs.status != 'fetched'
255-
name: 'Building/fetching previous CI target: mathcomp-fingroup'
256-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
257-
job "mathcomp-fingroup"
258-
- if: steps.stepCheck.outputs.status != 'fetched'
259-
name: 'Building/fetching previous CI target: mathcomp-bigenough'
260-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
261-
job "mathcomp-bigenough"
171+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20"
172+
--argstr job "coq"
262173
- if: steps.stepCheck.outputs.status != 'fetched'
263174
name: Building/fetching current CI target
264-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr
265-
job "multinomials"
175+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20"
176+
--argstr job "multinomials"
266177
name: Nix CI for bundle 8.20
267178
on:
268179
pull_request:

0 commit comments

Comments
 (0)