Skip to content

Commit 9a307b2

Browse files
proux01proux01
committed
1 parent e0945c4 commit 9a307b2

8 files changed

Lines changed: 227 additions & 122 deletions

‎.github/workflows/nix-action-rocq-9.0.yml‎

Lines changed: 38 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1481,6 +1481,7 @@ jobs:
14811481
- mathcomp-field
14821482
- mathcomp-bigenough
14831483
- mathcomp-real-closed
1484+
- hierarchy-builder
14841485
runs-on: ubuntu-latest
14851486
steps:
14861487
- name: Determine which commit to initially checkout
@@ -1551,6 +1552,10 @@ jobs:
15511552
name: 'Building/fetching previous CI target: mathcomp-real-closed'
15521553
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
15531554
"rocq-9.0" --argstr job "mathcomp-real-closed"
1555+
- if: steps.stepCheck.outputs.status != 'fetched'
1556+
name: 'Building/fetching previous CI target: hierarchy-builder'
1557+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
1558+
"rocq-9.0" --argstr job "hierarchy-builder"
15541559
- if: steps.stepCheck.outputs.status != 'fetched'
15551560
name: Building/fetching current CI target
15561561
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -1561,6 +1566,7 @@ jobs:
15611566
- mathcomp-analysis
15621567
- mathcomp-reals-stdlib
15631568
- stdlib
1569+
- hierarchy-builder
15641570
runs-on: ubuntu-latest
15651571
steps:
15661572
- name: Determine which commit to initially checkout
@@ -1627,6 +1633,10 @@ jobs:
16271633
name: 'Building/fetching previous CI target: stdlib'
16281634
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
16291635
"rocq-9.0" --argstr job "stdlib"
1636+
- if: steps.stepCheck.outputs.status != 'fetched'
1637+
name: 'Building/fetching previous CI target: hierarchy-builder'
1638+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
1639+
"rocq-9.0" --argstr job "hierarchy-builder"
16301640
- if: steps.stepCheck.outputs.status != 'fetched'
16311641
name: Building/fetching current CI target
16321642
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -1930,6 +1940,7 @@ jobs:
19301940
- rocq-core
19311941
- mathcomp-algebra
19321942
- mathcomp-finmap
1943+
- hierarchy-builder
19331944
runs-on: ubuntu-latest
19341945
steps:
19351946
- name: Determine which commit to initially checkout
@@ -1992,6 +2003,10 @@ jobs:
19922003
name: 'Building/fetching previous CI target: mathcomp-finmap'
19932004
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
19942005
"rocq-9.0" --argstr job "mathcomp-finmap"
2006+
- if: steps.stepCheck.outputs.status != 'fetched'
2007+
name: 'Building/fetching previous CI target: hierarchy-builder'
2008+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2009+
"rocq-9.0" --argstr job "hierarchy-builder"
19952010
- if: steps.stepCheck.outputs.status != 'fetched'
19962011
name: Building/fetching current CI target
19972012
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2071,6 +2086,7 @@ jobs:
20712086
- rocq-core
20722087
- mathcomp-analysis
20732088
- mathcomp-bigenough
2089+
- hierarchy-builder
20742090
runs-on: ubuntu-latest
20752091
steps:
20762092
- name: Determine which commit to initially checkout
@@ -2133,6 +2149,10 @@ jobs:
21332149
name: 'Building/fetching previous CI target: mathcomp-bigenough'
21342150
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
21352151
"rocq-9.0" --argstr job "mathcomp-bigenough"
2152+
- if: steps.stepCheck.outputs.status != 'fetched'
2153+
name: 'Building/fetching previous CI target: hierarchy-builder'
2154+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2155+
"rocq-9.0" --argstr job "hierarchy-builder"
21362156
- if: steps.stepCheck.outputs.status != 'fetched'
21372157
name: Building/fetching current CI target
21382158
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2562,6 +2582,7 @@ jobs:
25622582
needs:
25632583
- rocq-core
25642584
- mathcomp-classical
2585+
- hierarchy-builder
25652586
runs-on: ubuntu-latest
25662587
steps:
25672588
- name: Determine which commit to initially checkout
@@ -2620,6 +2641,10 @@ jobs:
26202641
name: 'Building/fetching previous CI target: mathcomp-classical'
26212642
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
26222643
"rocq-9.0" --argstr job "mathcomp-classical"
2644+
- if: steps.stepCheck.outputs.status != 'fetched'
2645+
name: 'Building/fetching previous CI target: hierarchy-builder'
2646+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2647+
"rocq-9.0" --argstr job "hierarchy-builder"
26232648
- if: steps.stepCheck.outputs.status != 'fetched'
26242649
name: Building/fetching current CI target
26252650
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2629,6 +2654,7 @@ jobs:
26292654
- rocq-core
26302655
- mathcomp-reals
26312656
- stdlib
2657+
- hierarchy-builder
26322658
runs-on: ubuntu-latest
26332659
steps:
26342660
- name: Determine which commit to initially checkout
@@ -2691,6 +2717,10 @@ jobs:
26912717
name: 'Building/fetching previous CI target: stdlib'
26922718
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
26932719
"rocq-9.0" --argstr job "stdlib"
2720+
- if: steps.stepCheck.outputs.status != 'fetched'
2721+
name: 'Building/fetching previous CI target: hierarchy-builder'
2722+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2723+
"rocq-9.0" --argstr job "hierarchy-builder"
26942724
- if: steps.stepCheck.outputs.status != 'fetched'
26952725
name: Building/fetching current CI target
26962726
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2824,9 +2854,10 @@ jobs:
28242854
"rocq-9.0" --argstr job "mathcomp-solvable"
28252855
mathcomp-ssreflect:
28262856
needs:
2827-
- coq
2857+
- rocq-core
28282858
- mathcomp-boot
28292859
- mathcomp-order
2860+
- hierarchy-builder
28302861
runs-on: ubuntu-latest
28312862
steps:
28322863
- name: Determine which commit to initially checkout
@@ -2878,9 +2909,9 @@ jobs:
28782909
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
28792910
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
28802911
- if: steps.stepCheck.outputs.status != 'fetched'
2881-
name: 'Building/fetching previous CI target: coq'
2912+
name: 'Building/fetching previous CI target: rocq-core'
28822913
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2883-
"rocq-9.0" --argstr job "coq"
2914+
"rocq-9.0" --argstr job "rocq-core"
28842915
- if: steps.stepCheck.outputs.status != 'fetched'
28852916
name: 'Building/fetching previous CI target: mathcomp-boot'
28862917
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2889,6 +2920,10 @@ jobs:
28892920
name: 'Building/fetching previous CI target: mathcomp-order'
28902921
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
28912922
"rocq-9.0" --argstr job "mathcomp-order"
2923+
- if: steps.stepCheck.outputs.status != 'fetched'
2924+
name: 'Building/fetching previous CI target: hierarchy-builder'
2925+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2926+
"rocq-9.0" --argstr job "hierarchy-builder"
28922927
- if: steps.stepCheck.outputs.status != 'fetched'
28932928
name: Building/fetching current CI target
28942929
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle

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

Lines changed: 38 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1481,6 +1481,7 @@ jobs:
14811481
- mathcomp-field
14821482
- mathcomp-bigenough
14831483
- mathcomp-real-closed
1484+
- hierarchy-builder
14841485
runs-on: ubuntu-latest
14851486
steps:
14861487
- name: Determine which commit to initially checkout
@@ -1551,6 +1552,10 @@ jobs:
15511552
name: 'Building/fetching previous CI target: mathcomp-real-closed'
15521553
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
15531554
"rocq-9.1" --argstr job "mathcomp-real-closed"
1555+
- if: steps.stepCheck.outputs.status != 'fetched'
1556+
name: 'Building/fetching previous CI target: hierarchy-builder'
1557+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
1558+
"rocq-9.1" --argstr job "hierarchy-builder"
15541559
- if: steps.stepCheck.outputs.status != 'fetched'
15551560
name: Building/fetching current CI target
15561561
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -1561,6 +1566,7 @@ jobs:
15611566
- mathcomp-analysis
15621567
- mathcomp-reals-stdlib
15631568
- stdlib
1569+
- hierarchy-builder
15641570
runs-on: ubuntu-latest
15651571
steps:
15661572
- name: Determine which commit to initially checkout
@@ -1627,6 +1633,10 @@ jobs:
16271633
name: 'Building/fetching previous CI target: stdlib'
16281634
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
16291635
"rocq-9.1" --argstr job "stdlib"
1636+
- if: steps.stepCheck.outputs.status != 'fetched'
1637+
name: 'Building/fetching previous CI target: hierarchy-builder'
1638+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
1639+
"rocq-9.1" --argstr job "hierarchy-builder"
16301640
- if: steps.stepCheck.outputs.status != 'fetched'
16311641
name: Building/fetching current CI target
16321642
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -1930,6 +1940,7 @@ jobs:
19301940
- rocq-core
19311941
- mathcomp-algebra
19321942
- mathcomp-finmap
1943+
- hierarchy-builder
19331944
runs-on: ubuntu-latest
19341945
steps:
19351946
- name: Determine which commit to initially checkout
@@ -1992,6 +2003,10 @@ jobs:
19922003
name: 'Building/fetching previous CI target: mathcomp-finmap'
19932004
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
19942005
"rocq-9.1" --argstr job "mathcomp-finmap"
2006+
- if: steps.stepCheck.outputs.status != 'fetched'
2007+
name: 'Building/fetching previous CI target: hierarchy-builder'
2008+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2009+
"rocq-9.1" --argstr job "hierarchy-builder"
19952010
- if: steps.stepCheck.outputs.status != 'fetched'
19962011
name: Building/fetching current CI target
19972012
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2071,6 +2086,7 @@ jobs:
20712086
- rocq-core
20722087
- mathcomp-analysis
20732088
- mathcomp-bigenough
2089+
- hierarchy-builder
20742090
runs-on: ubuntu-latest
20752091
steps:
20762092
- name: Determine which commit to initially checkout
@@ -2133,6 +2149,10 @@ jobs:
21332149
name: 'Building/fetching previous CI target: mathcomp-bigenough'
21342150
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
21352151
"rocq-9.1" --argstr job "mathcomp-bigenough"
2152+
- if: steps.stepCheck.outputs.status != 'fetched'
2153+
name: 'Building/fetching previous CI target: hierarchy-builder'
2154+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2155+
"rocq-9.1" --argstr job "hierarchy-builder"
21362156
- if: steps.stepCheck.outputs.status != 'fetched'
21372157
name: Building/fetching current CI target
21382158
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2562,6 +2582,7 @@ jobs:
25622582
needs:
25632583
- rocq-core
25642584
- mathcomp-classical
2585+
- hierarchy-builder
25652586
runs-on: ubuntu-latest
25662587
steps:
25672588
- name: Determine which commit to initially checkout
@@ -2620,6 +2641,10 @@ jobs:
26202641
name: 'Building/fetching previous CI target: mathcomp-classical'
26212642
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
26222643
"rocq-9.1" --argstr job "mathcomp-classical"
2644+
- if: steps.stepCheck.outputs.status != 'fetched'
2645+
name: 'Building/fetching previous CI target: hierarchy-builder'
2646+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2647+
"rocq-9.1" --argstr job "hierarchy-builder"
26232648
- if: steps.stepCheck.outputs.status != 'fetched'
26242649
name: Building/fetching current CI target
26252650
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2629,6 +2654,7 @@ jobs:
26292654
- rocq-core
26302655
- mathcomp-reals
26312656
- stdlib
2657+
- hierarchy-builder
26322658
runs-on: ubuntu-latest
26332659
steps:
26342660
- name: Determine which commit to initially checkout
@@ -2691,6 +2717,10 @@ jobs:
26912717
name: 'Building/fetching previous CI target: stdlib'
26922718
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
26932719
"rocq-9.1" --argstr job "stdlib"
2720+
- if: steps.stepCheck.outputs.status != 'fetched'
2721+
name: 'Building/fetching previous CI target: hierarchy-builder'
2722+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2723+
"rocq-9.1" --argstr job "hierarchy-builder"
26942724
- if: steps.stepCheck.outputs.status != 'fetched'
26952725
name: Building/fetching current CI target
26962726
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2824,9 +2854,10 @@ jobs:
28242854
"rocq-9.1" --argstr job "mathcomp-solvable"
28252855
mathcomp-ssreflect:
28262856
needs:
2827-
- coq
2857+
- rocq-core
28282858
- mathcomp-boot
28292859
- mathcomp-order
2860+
- hierarchy-builder
28302861
runs-on: ubuntu-latest
28312862
steps:
28322863
- name: Determine which commit to initially checkout
@@ -2878,9 +2909,9 @@ jobs:
28782909
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
28792910
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
28802911
- if: steps.stepCheck.outputs.status != 'fetched'
2881-
name: 'Building/fetching previous CI target: coq'
2912+
name: 'Building/fetching previous CI target: rocq-core'
28822913
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2883-
"rocq-9.1" --argstr job "coq"
2914+
"rocq-9.1" --argstr job "rocq-core"
28842915
- if: steps.stepCheck.outputs.status != 'fetched'
28852916
name: 'Building/fetching previous CI target: mathcomp-boot'
28862917
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
@@ -2889,6 +2920,10 @@ jobs:
28892920
name: 'Building/fetching previous CI target: mathcomp-order'
28902921
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
28912922
"rocq-9.1" --argstr job "mathcomp-order"
2923+
- if: steps.stepCheck.outputs.status != 'fetched'
2924+
name: 'Building/fetching previous CI target: hierarchy-builder'
2925+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
2926+
"rocq-9.1" --argstr job "hierarchy-builder"
28922927
- if: steps.stepCheck.outputs.status != 'fetched'
28932928
name: Building/fetching current CI target
28942929
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle

0 commit comments

Comments
 (0)