Skip to content

Commit 7a29b99

Browse files
proux01proux01
committed
[CI] Update Nix toolbox
Following merge of rocq-community/coq-nix-toolbox#329
1 parent 7a1cc91 commit 7a29b99

File tree

7 files changed

+679
-405
lines changed

7 files changed

+679
-405
lines changed

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

Lines changed: 74 additions & 81 deletions
Original file line numberDiff line numberDiff line change
@@ -684,10 +684,6 @@ jobs:
684684
name: 'Building/fetching previous CI target: mathcomp-fingroup'
685685
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
686686
--argstr job "mathcomp-fingroup"
687-
- if: steps.stepCheck.outputs.status == 'built'
688-
name: 'Building/fetching previous CI target: stdlib'
689-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
690-
--argstr job "stdlib"
691687
- if: steps.stepCheck.outputs.status == 'built'
692688
name: Building/fetching current CI target
693689
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -750,10 +746,6 @@ jobs:
750746
name: 'Building/fetching previous CI target: coq-elpi'
751747
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
752748
--argstr job "coq-elpi"
753-
- if: steps.stepCheck.outputs.status == 'built'
754-
name: 'Building/fetching previous CI target: stdlib'
755-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
756-
--argstr job "stdlib"
757749
- if: steps.stepCheck.outputs.status == 'built'
758750
name: Building/fetching current CI target
759751
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -968,10 +960,6 @@ jobs:
968960
name: 'Building/fetching previous CI target: coq'
969961
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
970962
--argstr job "coq"
971-
- if: steps.stepCheck.outputs.status == 'built'
972-
name: 'Building/fetching previous CI target: stdlib'
973-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
974-
--argstr job "stdlib"
975963
- if: steps.stepCheck.outputs.status == 'built'
976964
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
977965
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1000,10 +988,6 @@ jobs:
1000988
name: 'Building/fetching previous CI target: hierarchy-builder'
1001989
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1002990
--argstr job "hierarchy-builder"
1003-
- if: steps.stepCheck.outputs.status == 'built'
1004-
name: 'Building/fetching previous CI target: stdlib'
1005-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1006-
--argstr job "stdlib"
1007991
- if: steps.stepCheck.outputs.status == 'built'
1008992
name: Building/fetching current CI target
1009993
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1065,10 +1049,6 @@ jobs:
10651049
name: 'Building/fetching previous CI target: coq'
10661050
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
10671051
--argstr job "coq"
1068-
- if: steps.stepCheck.outputs.status == 'built'
1069-
name: 'Building/fetching previous CI target: stdlib'
1070-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1071-
--argstr job "stdlib"
10721052
- if: steps.stepCheck.outputs.status == 'built'
10731053
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
10741054
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1081,10 +1061,6 @@ jobs:
10811061
name: 'Building/fetching previous CI target: hierarchy-builder'
10821062
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
10831063
--argstr job "hierarchy-builder"
1084-
- if: steps.stepCheck.outputs.status == 'built'
1085-
name: 'Building/fetching previous CI target: stdlib'
1086-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1087-
--argstr job "stdlib"
10881064
- if: steps.stepCheck.outputs.status == 'built'
10891065
name: Building/fetching current CI target
10901066
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1284,10 +1260,6 @@ jobs:
12841260
name: 'Building/fetching previous CI target: coq'
12851261
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
12861262
--argstr job "coq"
1287-
- if: steps.stepCheck.outputs.status == 'built'
1288-
name: 'Building/fetching previous CI target: stdlib'
1289-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1290-
--argstr job "stdlib"
12911263
- if: steps.stepCheck.outputs.status == 'built'
12921264
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
12931265
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1312,10 +1284,6 @@ jobs:
13121284
name: 'Building/fetching previous CI target: hierarchy-builder'
13131285
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
13141286
--argstr job "hierarchy-builder"
1315-
- if: steps.stepCheck.outputs.status == 'built'
1316-
name: 'Building/fetching previous CI target: stdlib'
1317-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1318-
--argstr job "stdlib"
13191287
- if: steps.stepCheck.outputs.status == 'built'
13201288
name: Building/fetching current CI target
13211289
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1379,10 +1347,6 @@ jobs:
13791347
name: 'Building/fetching previous CI target: coq'
13801348
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
13811349
--argstr job "coq"
1382-
- if: steps.stepCheck.outputs.status == 'built'
1383-
name: 'Building/fetching previous CI target: stdlib'
1384-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1385-
--argstr job "stdlib"
13861350
- if: steps.stepCheck.outputs.status == 'built'
13871351
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
13881352
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1403,10 +1367,6 @@ jobs:
14031367
name: 'Building/fetching previous CI target: hierarchy-builder'
14041368
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
14051369
--argstr job "hierarchy-builder"
1406-
- if: steps.stepCheck.outputs.status == 'built'
1407-
name: 'Building/fetching previous CI target: stdlib'
1408-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1409-
--argstr job "stdlib"
14101370
- if: steps.stepCheck.outputs.status == 'built'
14111371
name: Building/fetching current CI target
14121372
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1467,10 +1427,6 @@ jobs:
14671427
name: 'Building/fetching previous CI target: coq'
14681428
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
14691429
--argstr job "coq"
1470-
- if: steps.stepCheck.outputs.status == 'built'
1471-
name: 'Building/fetching previous CI target: stdlib'
1472-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1473-
--argstr job "stdlib"
14741430
- if: steps.stepCheck.outputs.status == 'built'
14751431
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
14761432
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1479,10 +1435,6 @@ jobs:
14791435
name: 'Building/fetching previous CI target: hierarchy-builder'
14801436
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
14811437
--argstr job "hierarchy-builder"
1482-
- if: steps.stepCheck.outputs.status == 'built'
1483-
name: 'Building/fetching previous CI target: stdlib'
1484-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1485-
--argstr job "stdlib"
14861438
- if: steps.stepCheck.outputs.status == 'built'
14871439
name: Building/fetching current CI target
14881440
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1546,10 +1498,6 @@ jobs:
15461498
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
15471499
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
15481500
--argstr job "mathcomp-ssreflect"
1549-
- if: steps.stepCheck.outputs.status == 'built'
1550-
name: 'Building/fetching previous CI target: stdlib'
1551-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1552-
--argstr job "stdlib"
15531501
- if: steps.stepCheck.outputs.status == 'built'
15541502
name: Building/fetching current CI target
15551503
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1638,10 +1586,6 @@ jobs:
16381586
name: 'Building/fetching previous CI target: mathcomp-bigenough'
16391587
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
16401588
--argstr job "mathcomp-bigenough"
1641-
- if: steps.stepCheck.outputs.status == 'built'
1642-
name: 'Building/fetching previous CI target: stdlib'
1643-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1644-
--argstr job "stdlib"
16451589
- if: steps.stepCheck.outputs.status == 'built'
16461590
name: Building/fetching current CI target
16471591
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1701,18 +1645,10 @@ jobs:
17011645
name: 'Building/fetching previous CI target: coq'
17021646
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
17031647
--argstr job "coq"
1704-
- if: steps.stepCheck.outputs.status == 'built'
1705-
name: 'Building/fetching previous CI target: stdlib'
1706-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1707-
--argstr job "stdlib"
17081648
- if: steps.stepCheck.outputs.status == 'built'
17091649
name: 'Building/fetching previous CI target: hierarchy-builder'
17101650
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
17111651
--argstr job "hierarchy-builder"
1712-
- if: steps.stepCheck.outputs.status == 'built'
1713-
name: 'Building/fetching previous CI target: stdlib'
1714-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1715-
--argstr job "stdlib"
17161652
- if: steps.stepCheck.outputs.status == 'built'
17171653
name: Building/fetching current CI target
17181654
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1775,10 +1711,6 @@ jobs:
17751711
name: 'Building/fetching previous CI target: coq'
17761712
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
17771713
--argstr job "coq"
1778-
- if: steps.stepCheck.outputs.status == 'built'
1779-
name: 'Building/fetching previous CI target: stdlib'
1780-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1781-
--argstr job "stdlib"
17821714
- if: steps.stepCheck.outputs.status == 'built'
17831715
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
17841716
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1795,10 +1727,6 @@ jobs:
17951727
name: 'Building/fetching previous CI target: hierarchy-builder'
17961728
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
17971729
--argstr job "hierarchy-builder"
1798-
- if: steps.stepCheck.outputs.status == 'built'
1799-
name: 'Building/fetching previous CI target: stdlib'
1800-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1801-
--argstr job "stdlib"
18021730
- if: steps.stepCheck.outputs.status == 'built'
18031731
name: Building/fetching current CI target
18041732
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
@@ -1858,22 +1786,91 @@ jobs:
18581786
name: 'Building/fetching previous CI target: coq'
18591787
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
18601788
--argstr job "coq"
1861-
- if: steps.stepCheck.outputs.status == 'built'
1862-
name: 'Building/fetching previous CI target: stdlib'
1863-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1864-
--argstr job "stdlib"
18651789
- if: steps.stepCheck.outputs.status == 'built'
18661790
name: 'Building/fetching previous CI target: hierarchy-builder'
18671791
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
18681792
--argstr job "hierarchy-builder"
1793+
- if: steps.stepCheck.outputs.status == 'built'
1794+
name: Building/fetching current CI target
1795+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1796+
--argstr job "mathcomp-ssreflect"
1797+
mathcomp-word:
1798+
needs:
1799+
- coq
1800+
- mathcomp-algebra
1801+
- mathcomp-ssreflect
1802+
- mathcomp-fingroup
1803+
runs-on: ubuntu-latest
1804+
steps:
1805+
- name: Determine which commit to initially checkout
1806+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
1807+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
1808+
}}\" >> $GITHUB_ENV\nfi\n"
1809+
- name: Git checkout
1810+
uses: actions/checkout@v4
1811+
with:
1812+
fetch-depth: 0
1813+
ref: ${{ env.target_commit }}
1814+
- name: Determine which commit to test
1815+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
1816+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
1817+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
1818+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
1819+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
1820+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
1821+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
1822+
\ fi\nfi\n"
1823+
- name: Git checkout
1824+
uses: actions/checkout@v4
1825+
with:
1826+
fetch-depth: 0
1827+
ref: ${{ env.tested_commit }}
1828+
- name: Cachix install
1829+
uses: cachix/install-nix-action@v30
1830+
with:
1831+
nix_path: nixpkgs=channel:nixpkgs-unstable
1832+
- name: Cachix setup math-comp
1833+
uses: cachix/cachix-action@v15
1834+
with:
1835+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1836+
extraPullNames: coq, coq-community
1837+
name: math-comp
1838+
- id: stepGetDerivation
1839+
name: Getting derivation for current job (mathcomp-word)
1840+
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
1841+
\"coq-8.18\" --argstr job \"mathcomp-word\" \\\n --dry-run 2> err > out
1842+
|| (touch fail; true)\n"
1843+
- name: Error reporting
1844+
run: "echo \"out=\"; cat out\necho \"err=\"; cat err\n"
1845+
- name: Failure check
1846+
run: if [ -e fail ]; then exit 1; else exit 0; fi;
1847+
- id: stepCheck
1848+
name: Checking presence of CI target for current job
1849+
run: (echo -n status=; cat out err | grep "built:" | sed "s/.*/built/") >> $GITHUB_OUTPUT
1850+
- if: steps.stepCheck.outputs.status == 'built'
1851+
name: 'Building/fetching previous CI target: coq'
1852+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1853+
--argstr job "coq"
1854+
- if: steps.stepCheck.outputs.status == 'built'
1855+
name: 'Building/fetching previous CI target: mathcomp-algebra'
1856+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1857+
--argstr job "mathcomp-algebra"
1858+
- if: steps.stepCheck.outputs.status == 'built'
1859+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
1860+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1861+
--argstr job "mathcomp-ssreflect"
1862+
- if: steps.stepCheck.outputs.status == 'built'
1863+
name: 'Building/fetching previous CI target: mathcomp-fingroup'
1864+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1865+
--argstr job "mathcomp-fingroup"
18691866
- if: steps.stepCheck.outputs.status == 'built'
18701867
name: 'Building/fetching previous CI target: stdlib'
18711868
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
18721869
--argstr job "stdlib"
18731870
- if: steps.stepCheck.outputs.status == 'built'
18741871
name: Building/fetching current CI target
18751872
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
1876-
--argstr job "mathcomp-ssreflect"
1873+
--argstr job "mathcomp-word"
18771874
mathcomp-zify:
18781875
needs:
18791876
- coq
@@ -2123,10 +2120,6 @@ jobs:
21232120
name: 'Building/fetching previous CI target: mathcomp'
21242121
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
21252122
--argstr job "mathcomp"
2126-
- if: steps.stepCheck.outputs.status == 'built'
2127-
name: 'Building/fetching previous CI target: stdlib'
2128-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
2129-
--argstr job "stdlib"
21302123
- if: steps.stepCheck.outputs.status == 'built'
21312124
name: Building/fetching current CI target
21322125
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"

0 commit comments

Comments
 (0)