Skip to content

Commit 48fc0ff

Browse files
garesproux01
gares
authored and
proux01
committed
nix
1 parent b4e30d5 commit 48fc0ff

File tree

6 files changed

+247
-59
lines changed

6 files changed

+247
-59
lines changed

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

Lines changed: 109 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -332,8 +332,7 @@ jobs:
332332
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
333333
--argstr job "coq-bits"
334334
coq-elpi:
335-
needs:
336-
- coq
335+
needs: []
337336
runs-on: ubuntu-latest
338337
steps:
339338
- name: Determine which commit to initially checkout
@@ -382,10 +381,6 @@ jobs:
382381
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
383382
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
384383
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
385-
- if: steps.stepCheck.outputs.status != 'fetched'
386-
name: 'Building/fetching previous CI target: coq'
387-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
388-
--argstr job "coq"
389384
- if: steps.stepCheck.outputs.status != 'fetched'
390385
name: Building/fetching current CI target
391386
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
@@ -680,7 +675,6 @@ jobs:
680675
--argstr job "fourcolor"
681676
hierarchy-builder:
682677
needs:
683-
- coq
684678
- coq-elpi
685679
runs-on: ubuntu-latest
686680
steps:
@@ -730,10 +724,6 @@ jobs:
730724
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
731725
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
732726
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
733-
- if: steps.stepCheck.outputs.status != 'fetched'
734-
name: 'Building/fetching previous CI target: coq'
735-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
736-
--argstr job "coq"
737727
- if: steps.stepCheck.outputs.status != 'fetched'
738728
name: 'Building/fetching previous CI target: coq-elpi'
739729
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
@@ -2664,6 +2654,114 @@ jobs:
26642654
name: Building/fetching current CI target
26652655
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
26662656
--argstr job "reglang"
2657+
rocq-core:
2658+
needs: []
2659+
runs-on: ubuntu-latest
2660+
steps:
2661+
- name: Determine which commit to initially checkout
2662+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
2663+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
2664+
}}\" >> $GITHUB_ENV\nfi\n"
2665+
- name: Git checkout
2666+
uses: actions/checkout@v4
2667+
with:
2668+
fetch-depth: 0
2669+
ref: ${{ env.target_commit }}
2670+
- name: Determine which commit to test
2671+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
2672+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
2673+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
2674+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
2675+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
2676+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
2677+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
2678+
\ fi\nfi\n"
2679+
- name: Git checkout
2680+
uses: actions/checkout@v4
2681+
with:
2682+
fetch-depth: 0
2683+
ref: ${{ env.tested_commit }}
2684+
- name: Cachix install
2685+
uses: cachix/install-nix-action@v31
2686+
with:
2687+
nix_path: nixpkgs=channel:nixpkgs-unstable
2688+
- name: Cachix setup math-comp
2689+
uses: cachix/cachix-action@v16
2690+
with:
2691+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2692+
extraPullNames: coq, coq-community
2693+
name: math-comp
2694+
- id: stepGetDerivation
2695+
name: Getting derivation for current job (rocq-core)
2696+
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
2697+
\"coq-9.0\" --argstr job \"rocq-core\" \\\n --dry-run 2> err > out || (touch
2698+
fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
2699+
failed\"; exit 1; fi\n"
2700+
- id: stepCheck
2701+
name: Checking presence of CI target for current job
2702+
run: "if $(cat out err | grep -q \"built:\") ; then\n echo \"CI target needs
2703+
actual building\"\n if $(cat out err | grep -q \"derivations will be built:\"\
2704+
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
2705+
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
2706+
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
2707+
- if: steps.stepCheck.outputs.status != 'fetched'
2708+
name: Building/fetching current CI target
2709+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
2710+
--argstr job "rocq-core"
2711+
rocq-elpi:
2712+
needs: []
2713+
runs-on: ubuntu-latest
2714+
steps:
2715+
- name: Determine which commit to initially checkout
2716+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
2717+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
2718+
}}\" >> $GITHUB_ENV\nfi\n"
2719+
- name: Git checkout
2720+
uses: actions/checkout@v4
2721+
with:
2722+
fetch-depth: 0
2723+
ref: ${{ env.target_commit }}
2724+
- name: Determine which commit to test
2725+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
2726+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
2727+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
2728+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
2729+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
2730+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
2731+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
2732+
\ fi\nfi\n"
2733+
- name: Git checkout
2734+
uses: actions/checkout@v4
2735+
with:
2736+
fetch-depth: 0
2737+
ref: ${{ env.tested_commit }}
2738+
- name: Cachix install
2739+
uses: cachix/install-nix-action@v31
2740+
with:
2741+
nix_path: nixpkgs=channel:nixpkgs-unstable
2742+
- name: Cachix setup math-comp
2743+
uses: cachix/cachix-action@v16
2744+
with:
2745+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2746+
extraPullNames: coq, coq-community
2747+
name: math-comp
2748+
- id: stepGetDerivation
2749+
name: Getting derivation for current job (rocq-elpi)
2750+
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
2751+
\"coq-9.0\" --argstr job \"rocq-elpi\" \\\n --dry-run 2> err > out || (touch
2752+
fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
2753+
failed\"; exit 1; fi\n"
2754+
- id: stepCheck
2755+
name: Checking presence of CI target for current job
2756+
run: "if $(cat out err | grep -q \"built:\") ; then\n echo \"CI target needs
2757+
actual building\"\n if $(cat out err | grep -q \"derivations will be built:\"\
2758+
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
2759+
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
2760+
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
2761+
- if: steps.stepCheck.outputs.status != 'fetched'
2762+
name: Building/fetching current CI target
2763+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.0"
2764+
--argstr job "rocq-elpi"
26672765
simple-io:
26682766
needs:
26692767
- coq

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

Lines changed: 109 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -332,8 +332,7 @@ jobs:
332332
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
333333
--argstr job "coq-bits"
334334
coq-elpi:
335-
needs:
336-
- coq
335+
needs: []
337336
runs-on: ubuntu-latest
338337
steps:
339338
- name: Determine which commit to initially checkout
@@ -382,10 +381,6 @@ jobs:
382381
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
383382
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
384383
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
385-
- if: steps.stepCheck.outputs.status != 'fetched'
386-
name: 'Building/fetching previous CI target: coq'
387-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
388-
--argstr job "coq"
389384
- if: steps.stepCheck.outputs.status != 'fetched'
390385
name: Building/fetching current CI target
391386
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
@@ -680,7 +675,6 @@ jobs:
680675
--argstr job "fourcolor"
681676
hierarchy-builder:
682677
needs:
683-
- coq
684678
- coq-elpi
685679
runs-on: ubuntu-latest
686680
steps:
@@ -730,10 +724,6 @@ jobs:
730724
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
731725
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
732726
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
733-
- if: steps.stepCheck.outputs.status != 'fetched'
734-
name: 'Building/fetching previous CI target: coq'
735-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
736-
--argstr job "coq"
737727
- if: steps.stepCheck.outputs.status != 'fetched'
738728
name: 'Building/fetching previous CI target: coq-elpi'
739729
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
@@ -2582,6 +2572,114 @@ jobs:
25822572
name: Building/fetching current CI target
25832573
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
25842574
--argstr job "reglang"
2575+
rocq-core:
2576+
needs: []
2577+
runs-on: ubuntu-latest
2578+
steps:
2579+
- name: Determine which commit to initially checkout
2580+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
2581+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
2582+
}}\" >> $GITHUB_ENV\nfi\n"
2583+
- name: Git checkout
2584+
uses: actions/checkout@v4
2585+
with:
2586+
fetch-depth: 0
2587+
ref: ${{ env.target_commit }}
2588+
- name: Determine which commit to test
2589+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
2590+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
2591+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
2592+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
2593+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
2594+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
2595+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
2596+
\ fi\nfi\n"
2597+
- name: Git checkout
2598+
uses: actions/checkout@v4
2599+
with:
2600+
fetch-depth: 0
2601+
ref: ${{ env.tested_commit }}
2602+
- name: Cachix install
2603+
uses: cachix/install-nix-action@v31
2604+
with:
2605+
nix_path: nixpkgs=channel:nixpkgs-unstable
2606+
- name: Cachix setup math-comp
2607+
uses: cachix/cachix-action@v16
2608+
with:
2609+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2610+
extraPullNames: coq, coq-community
2611+
name: math-comp
2612+
- id: stepGetDerivation
2613+
name: Getting derivation for current job (rocq-core)
2614+
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
2615+
\"coq-9.1\" --argstr job \"rocq-core\" \\\n --dry-run 2> err > out || (touch
2616+
fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
2617+
failed\"; exit 1; fi\n"
2618+
- id: stepCheck
2619+
name: Checking presence of CI target for current job
2620+
run: "if $(cat out err | grep -q \"built:\") ; then\n echo \"CI target needs
2621+
actual building\"\n if $(cat out err | grep -q \"derivations will be built:\"\
2622+
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
2623+
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
2624+
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
2625+
- if: steps.stepCheck.outputs.status != 'fetched'
2626+
name: Building/fetching current CI target
2627+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
2628+
--argstr job "rocq-core"
2629+
rocq-elpi:
2630+
needs: []
2631+
runs-on: ubuntu-latest
2632+
steps:
2633+
- name: Determine which commit to initially checkout
2634+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
2635+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
2636+
}}\" >> $GITHUB_ENV\nfi\n"
2637+
- name: Git checkout
2638+
uses: actions/checkout@v4
2639+
with:
2640+
fetch-depth: 0
2641+
ref: ${{ env.target_commit }}
2642+
- name: Determine which commit to test
2643+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
2644+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
2645+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
2646+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
2647+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
2648+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
2649+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
2650+
\ fi\nfi\n"
2651+
- name: Git checkout
2652+
uses: actions/checkout@v4
2653+
with:
2654+
fetch-depth: 0
2655+
ref: ${{ env.tested_commit }}
2656+
- name: Cachix install
2657+
uses: cachix/install-nix-action@v31
2658+
with:
2659+
nix_path: nixpkgs=channel:nixpkgs-unstable
2660+
- name: Cachix setup math-comp
2661+
uses: cachix/cachix-action@v16
2662+
with:
2663+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2664+
extraPullNames: coq, coq-community
2665+
name: math-comp
2666+
- id: stepGetDerivation
2667+
name: Getting derivation for current job (rocq-elpi)
2668+
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
2669+
\"coq-9.1\" --argstr job \"rocq-elpi\" \\\n --dry-run 2> err > out || (touch
2670+
fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
2671+
failed\"; exit 1; fi\n"
2672+
- id: stepCheck
2673+
name: Checking presence of CI target for current job
2674+
run: "if $(cat out err | grep -q \"built:\") ; then\n echo \"CI target needs
2675+
actual building\"\n if $(cat out err | grep -q \"derivations will be built:\"\
2676+
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
2677+
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
2678+
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
2679+
- if: steps.stepCheck.outputs.status != 'fetched'
2680+
name: Building/fetching current CI target
2681+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-9.1"
2682+
--argstr job "rocq-elpi"
25852683
simple-io:
25862684
needs:
25872685
- coq

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

Lines changed: 2 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -139,7 +139,6 @@ jobs:
139139
--argstr job "QuickChick"
140140
bignums:
141141
needs:
142-
- coq
143142
- stdlib
144143
runs-on: ubuntu-latest
145144
steps:
@@ -189,10 +188,6 @@ jobs:
189188
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
190189
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
191190
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
192-
- if: steps.stepCheck.outputs.status != 'fetched'
193-
name: 'Building/fetching previous CI target: coq'
194-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
195-
--argstr job "coq"
196191
- if: steps.stepCheck.outputs.status != 'fetched'
197192
name: 'Building/fetching previous CI target: stdlib'
198193
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
@@ -330,8 +325,7 @@ jobs:
330325
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
331326
--argstr job "coq-bits"
332327
coq-elpi:
333-
needs:
334-
- coq
328+
needs: []
335329
runs-on: ubuntu-latest
336330
steps:
337331
- name: Determine which commit to initially checkout
@@ -380,10 +374,6 @@ jobs:
380374
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
381375
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
382376
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
383-
- if: steps.stepCheck.outputs.status != 'fetched'
384-
name: 'Building/fetching previous CI target: coq'
385-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
386-
--argstr job "coq"
387377
- if: steps.stepCheck.outputs.status != 'fetched'
388378
name: Building/fetching current CI target
389379
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
@@ -612,7 +602,6 @@ jobs:
612602
--argstr job "fourcolor"
613603
hierarchy-builder:
614604
needs:
615-
- coq
616605
- coq-elpi
617606
runs-on: ubuntu-latest
618607
steps:
@@ -662,10 +651,6 @@ jobs:
662651
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
663652
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
664653
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
665-
- if: steps.stepCheck.outputs.status != 'fetched'
666-
name: 'Building/fetching previous CI target: coq'
667-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
668-
--argstr job "coq"
669654
- if: steps.stepCheck.outputs.status != 'fetched'
670655
name: 'Building/fetching previous CI target: coq-elpi'
671656
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
@@ -2682,8 +2667,7 @@ jobs:
26822667
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
26832668
--argstr job "simple-io"
26842669
stdlib:
2685-
needs:
2686-
- coq
2670+
needs: []
26872671
runs-on: ubuntu-latest
26882672
steps:
26892673
- name: Determine which commit to initially checkout
@@ -2732,10 +2716,6 @@ jobs:
27322716
) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
27332717
\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
27342718
status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
2735-
- if: steps.stepCheck.outputs.status != 'fetched'
2736-
name: 'Building/fetching previous CI target: coq'
2737-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
2738-
--argstr job "coq"
27392719
- if: steps.stepCheck.outputs.status != 'fetched'
27402720
name: Building/fetching current CI target
27412721
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"

0 commit comments

Comments
 (0)