Skip to content

Commit a788323

Browse files
proux01proux01
committed
[CI] Add coqeal
Also update the Nix toolbox
1 parent d650983 commit a788323

File tree

6 files changed

+835
-80
lines changed

6 files changed

+835
-80
lines changed

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

Lines changed: 361 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,6 +64,71 @@ jobs:
6464
name: Building/fetching current CI target
6565
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
6666
--argstr job "QuickChick"
67+
async-test:
68+
needs:
69+
- coq
70+
- QuickChick
71+
runs-on: ubuntu-latest
72+
steps:
73+
- name: Determine which commit to initially checkout
74+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
75+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
76+
\ }}\" >> $GITHUB_ENV\nfi\n"
77+
- name: Git checkout
78+
uses: actions/checkout@v4
79+
with:
80+
fetch-depth: 0
81+
ref: ${{ env.target_commit }}
82+
- name: Determine which commit to test
83+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
84+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
85+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
86+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
87+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
88+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
89+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
90+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
91+
- name: Git checkout
92+
uses: actions/checkout@v4
93+
with:
94+
fetch-depth: 0
95+
ref: ${{ env.tested_commit }}
96+
- name: Cachix install
97+
uses: cachix/install-nix-action@v27
98+
with:
99+
nix_path: nixpkgs=channel:nixpkgs-unstable
100+
- name: Cachix setup coq-elpi
101+
uses: cachix/cachix-action@v15
102+
with:
103+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
104+
extraPullNames: coq, coq-community, math-comp
105+
name: coq-elpi
106+
- id: stepCheck
107+
name: Checking presence of CI target async-test
108+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
109+
\ bundle \"coq-8.19\" --argstr job \"async-test\" \\\n --dry-run 2>&1 >\
110+
\ /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\"\
111+
\ | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
112+
- if: steps.stepCheck.outputs.status == 'built'
113+
name: 'Building/fetching previous CI target: coq'
114+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
115+
--argstr job "coq"
116+
- if: steps.stepCheck.outputs.status == 'built'
117+
name: 'Building/fetching previous CI target: itree-io'
118+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
119+
--argstr job "itree-io"
120+
- if: steps.stepCheck.outputs.status == 'built'
121+
name: 'Building/fetching previous CI target: json'
122+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
123+
--argstr job "json"
124+
- if: steps.stepCheck.outputs.status == 'built'
125+
name: 'Building/fetching previous CI target: QuickChick'
126+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
127+
--argstr job "QuickChick"
128+
- if: steps.stepCheck.outputs.status == 'built'
129+
name: Building/fetching current CI target
130+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
131+
--argstr job "async-test"
67132
coq:
68133
needs: []
69134
runs-on: ubuntu-latest
@@ -163,6 +228,81 @@ jobs:
163228
name: Building/fetching current CI target
164229
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
165230
--argstr job "coq-elpi"
231+
coqeal:
232+
needs:
233+
- coq
234+
- mathcomp-algebra
235+
- multinomials
236+
- mathcomp-real-closed
237+
runs-on: ubuntu-latest
238+
steps:
239+
- name: Determine which commit to initially checkout
240+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
241+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
242+
\ }}\" >> $GITHUB_ENV\nfi\n"
243+
- name: Git checkout
244+
uses: actions/checkout@v4
245+
with:
246+
fetch-depth: 0
247+
ref: ${{ env.target_commit }}
248+
- name: Determine which commit to test
249+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
250+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
251+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
252+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
253+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
254+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
255+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
256+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
257+
- name: Git checkout
258+
uses: actions/checkout@v4
259+
with:
260+
fetch-depth: 0
261+
ref: ${{ env.tested_commit }}
262+
- name: Cachix install
263+
uses: cachix/install-nix-action@v27
264+
with:
265+
nix_path: nixpkgs=channel:nixpkgs-unstable
266+
- name: Cachix setup coq-elpi
267+
uses: cachix/cachix-action@v15
268+
with:
269+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
270+
extraPullNames: coq, coq-community, math-comp
271+
name: coq-elpi
272+
- id: stepCheck
273+
name: Checking presence of CI target coqeal
274+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
275+
\ bundle \"coq-8.19\" --argstr job \"coqeal\" \\\n --dry-run 2>&1 > /dev/null)\n\
276+
echo $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\" | sed \"\
277+
s/.*/built/\") >> $GITHUB_OUTPUT\n"
278+
- if: steps.stepCheck.outputs.status == 'built'
279+
name: 'Building/fetching previous CI target: coq'
280+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
281+
--argstr job "coq"
282+
- if: steps.stepCheck.outputs.status == 'built'
283+
name: 'Building/fetching previous CI target: mathcomp-algebra'
284+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
285+
--argstr job "mathcomp-algebra"
286+
- if: steps.stepCheck.outputs.status == 'built'
287+
name: 'Building/fetching previous CI target: bignums'
288+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
289+
--argstr job "bignums"
290+
- if: steps.stepCheck.outputs.status == 'built'
291+
name: 'Building/fetching previous CI target: paramcoq'
292+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
293+
--argstr job "paramcoq"
294+
- if: steps.stepCheck.outputs.status == 'built'
295+
name: 'Building/fetching previous CI target: multinomials'
296+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
297+
--argstr job "multinomials"
298+
- if: steps.stepCheck.outputs.status == 'built'
299+
name: 'Building/fetching previous CI target: mathcomp-real-closed'
300+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
301+
--argstr job "mathcomp-real-closed"
302+
- if: steps.stepCheck.outputs.status == 'built'
303+
name: Building/fetching current CI target
304+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
305+
--argstr job "coqeal"
166306
coquelicot:
167307
needs:
168308
- coq
@@ -277,6 +417,68 @@ jobs:
277417
name: Building/fetching current CI target
278418
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
279419
--argstr job "hierarchy-builder"
420+
http:
421+
needs:
422+
- coq
423+
- QuickChick
424+
- async-test
425+
runs-on: ubuntu-latest
426+
steps:
427+
- name: Determine which commit to initially checkout
428+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
429+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
430+
\ }}\" >> $GITHUB_ENV\nfi\n"
431+
- name: Git checkout
432+
uses: actions/checkout@v4
433+
with:
434+
fetch-depth: 0
435+
ref: ${{ env.target_commit }}
436+
- name: Determine which commit to test
437+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
438+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
439+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
440+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
441+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
442+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
443+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
444+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
445+
- name: Git checkout
446+
uses: actions/checkout@v4
447+
with:
448+
fetch-depth: 0
449+
ref: ${{ env.tested_commit }}
450+
- name: Cachix install
451+
uses: cachix/install-nix-action@v27
452+
with:
453+
nix_path: nixpkgs=channel:nixpkgs-unstable
454+
- name: Cachix setup coq-elpi
455+
uses: cachix/cachix-action@v15
456+
with:
457+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
458+
extraPullNames: coq, coq-community, math-comp
459+
name: coq-elpi
460+
- id: stepCheck
461+
name: Checking presence of CI target http
462+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
463+
\ bundle \"coq-8.19\" --argstr job \"http\" \\\n --dry-run 2>&1 > /dev/null)\n\
464+
echo $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\" | sed \"\
465+
s/.*/built/\") >> $GITHUB_OUTPUT\n"
466+
- if: steps.stepCheck.outputs.status == 'built'
467+
name: 'Building/fetching previous CI target: coq'
468+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
469+
--argstr job "coq"
470+
- if: steps.stepCheck.outputs.status == 'built'
471+
name: 'Building/fetching previous CI target: QuickChick'
472+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
473+
--argstr job "QuickChick"
474+
- if: steps.stepCheck.outputs.status == 'built'
475+
name: 'Building/fetching previous CI target: async-test'
476+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
477+
--argstr job "async-test"
478+
- if: steps.stepCheck.outputs.status == 'built'
479+
name: Building/fetching current CI target
480+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
481+
--argstr job "http"
280482
interval:
281483
needs:
282484
- coq
@@ -980,6 +1182,88 @@ jobs:
9801182
name: Building/fetching current CI target
9811183
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
9821184
--argstr job "mathcomp-finmap"
1185+
mathcomp-real-closed:
1186+
needs:
1187+
- coq
1188+
- mathcomp-ssreflect
1189+
- mathcomp-algebra
1190+
- mathcomp-field
1191+
- mathcomp-fingroup
1192+
- mathcomp-solvable
1193+
- mathcomp-bigenough
1194+
runs-on: ubuntu-latest
1195+
steps:
1196+
- name: Determine which commit to initially checkout
1197+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
1198+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
1199+
\ }}\" >> $GITHUB_ENV\nfi\n"
1200+
- name: Git checkout
1201+
uses: actions/checkout@v4
1202+
with:
1203+
fetch-depth: 0
1204+
ref: ${{ env.target_commit }}
1205+
- name: Determine which commit to test
1206+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
1207+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
1208+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
1209+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
1210+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
1211+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
1212+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
1213+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
1214+
- name: Git checkout
1215+
uses: actions/checkout@v4
1216+
with:
1217+
fetch-depth: 0
1218+
ref: ${{ env.tested_commit }}
1219+
- name: Cachix install
1220+
uses: cachix/install-nix-action@v27
1221+
with:
1222+
nix_path: nixpkgs=channel:nixpkgs-unstable
1223+
- name: Cachix setup coq-elpi
1224+
uses: cachix/cachix-action@v15
1225+
with:
1226+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1227+
extraPullNames: coq, coq-community, math-comp
1228+
name: coq-elpi
1229+
- id: stepCheck
1230+
name: Checking presence of CI target mathcomp-real-closed
1231+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
1232+
\ bundle \"coq-8.19\" --argstr job \"mathcomp-real-closed\" \\\n --dry-run\
1233+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep\
1234+
\ \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
1235+
- if: steps.stepCheck.outputs.status == 'built'
1236+
name: 'Building/fetching previous CI target: coq'
1237+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1238+
--argstr job "coq"
1239+
- if: steps.stepCheck.outputs.status == 'built'
1240+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
1241+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1242+
--argstr job "mathcomp-ssreflect"
1243+
- if: steps.stepCheck.outputs.status == 'built'
1244+
name: 'Building/fetching previous CI target: mathcomp-algebra'
1245+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1246+
--argstr job "mathcomp-algebra"
1247+
- if: steps.stepCheck.outputs.status == 'built'
1248+
name: 'Building/fetching previous CI target: mathcomp-field'
1249+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1250+
--argstr job "mathcomp-field"
1251+
- if: steps.stepCheck.outputs.status == 'built'
1252+
name: 'Building/fetching previous CI target: mathcomp-fingroup'
1253+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1254+
--argstr job "mathcomp-fingroup"
1255+
- if: steps.stepCheck.outputs.status == 'built'
1256+
name: 'Building/fetching previous CI target: mathcomp-solvable'
1257+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1258+
--argstr job "mathcomp-solvable"
1259+
- if: steps.stepCheck.outputs.status == 'built'
1260+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
1261+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1262+
--argstr job "mathcomp-bigenough"
1263+
- if: steps.stepCheck.outputs.status == 'built'
1264+
name: Building/fetching current CI target
1265+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1266+
--argstr job "mathcomp-real-closed"
9831267
mathcomp-solvable:
9841268
needs:
9851269
- coq
@@ -1109,6 +1393,83 @@ jobs:
11091393
name: Building/fetching current CI target
11101394
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
11111395
--argstr job "mathcomp-ssreflect"
1396+
multinomials:
1397+
needs:
1398+
- coq
1399+
- mathcomp-ssreflect
1400+
- mathcomp-algebra
1401+
- mathcomp-finmap
1402+
- mathcomp-fingroup
1403+
- mathcomp-bigenough
1404+
runs-on: ubuntu-latest
1405+
steps:
1406+
- name: Determine which commit to initially checkout
1407+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
1408+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
1409+
\ }}\" >> $GITHUB_ENV\nfi\n"
1410+
- name: Git checkout
1411+
uses: actions/checkout@v4
1412+
with:
1413+
fetch-depth: 0
1414+
ref: ${{ env.target_commit }}
1415+
- name: Determine which commit to test
1416+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
1417+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
1418+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
1419+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
1420+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
1421+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
1422+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
1423+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
1424+
- name: Git checkout
1425+
uses: actions/checkout@v4
1426+
with:
1427+
fetch-depth: 0
1428+
ref: ${{ env.tested_commit }}
1429+
- name: Cachix install
1430+
uses: cachix/install-nix-action@v27
1431+
with:
1432+
nix_path: nixpkgs=channel:nixpkgs-unstable
1433+
- name: Cachix setup coq-elpi
1434+
uses: cachix/cachix-action@v15
1435+
with:
1436+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1437+
extraPullNames: coq, coq-community, math-comp
1438+
name: coq-elpi
1439+
- id: stepCheck
1440+
name: Checking presence of CI target multinomials
1441+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
1442+
\ bundle \"coq-8.19\" --argstr job \"multinomials\" \\\n --dry-run 2>&1\
1443+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
1444+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
1445+
- if: steps.stepCheck.outputs.status == 'built'
1446+
name: 'Building/fetching previous CI target: coq'
1447+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1448+
--argstr job "coq"
1449+
- if: steps.stepCheck.outputs.status == 'built'
1450+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
1451+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1452+
--argstr job "mathcomp-ssreflect"
1453+
- if: steps.stepCheck.outputs.status == 'built'
1454+
name: 'Building/fetching previous CI target: mathcomp-algebra'
1455+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1456+
--argstr job "mathcomp-algebra"
1457+
- if: steps.stepCheck.outputs.status == 'built'
1458+
name: 'Building/fetching previous CI target: mathcomp-finmap'
1459+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1460+
--argstr job "mathcomp-finmap"
1461+
- if: steps.stepCheck.outputs.status == 'built'
1462+
name: 'Building/fetching previous CI target: mathcomp-fingroup'
1463+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1464+
--argstr job "mathcomp-fingroup"
1465+
- if: steps.stepCheck.outputs.status == 'built'
1466+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
1467+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1468+
--argstr job "mathcomp-bigenough"
1469+
- if: steps.stepCheck.outputs.status == 'built'
1470+
name: Building/fetching current CI target
1471+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
1472+
--argstr job "multinomials"
11121473
odd-order:
11131474
needs:
11141475
- coq

0 commit comments

Comments
 (0)