Skip to content

Commit a1a96f9

Browse files
proux01proux01
committed
WIP
1 parent f2fe48a commit a1a96f9

File tree

1 file changed

+228
-0
lines changed

1 file changed

+228
-0
lines changed

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

+228
Original file line numberDiff line numberDiff line change
@@ -827,6 +827,63 @@ jobs:
827827
name: Building/fetching current CI target
828828
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
829829
--argstr job "ceres"
830+
coinduction:
831+
needs:
832+
- coq
833+
- stdlib
834+
runs-on: ubuntu-latest
835+
steps:
836+
- name: Determine which commit to initially checkout
837+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
838+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
839+
\ }}\" >> $GITHUB_ENV\nfi\n"
840+
- name: Git checkout
841+
uses: actions/checkout@v3
842+
with:
843+
fetch-depth: 0
844+
ref: ${{ env.target_commit }}
845+
- name: Determine which commit to test
846+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
847+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
848+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
849+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
850+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
851+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
852+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
853+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
854+
- name: Git checkout
855+
uses: actions/checkout@v3
856+
with:
857+
fetch-depth: 0
858+
ref: ${{ env.tested_commit }}
859+
- name: Cachix install
860+
uses: cachix/install-nix-action@v27
861+
with:
862+
nix_path: nixpkgs=channel:nixpkgs-unstable
863+
- name: Cachix setup coq-community
864+
uses: cachix/cachix-action@v15
865+
with:
866+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
867+
extraPullNames: coq, math-comp
868+
name: coq-community
869+
- id: stepCheck
870+
name: Checking presence of CI target coinduction
871+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
872+
\ bundle \"coq-master\" --argstr job \"coinduction\" \\\n --dry-run 2>&1\
873+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
874+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
875+
- if: steps.stepCheck.outputs.status == 'built'
876+
name: 'Building/fetching previous CI target: coq'
877+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
878+
--argstr job "coq"
879+
- if: steps.stepCheck.outputs.status == 'built'
880+
name: 'Building/fetching previous CI target: stdlib'
881+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
882+
--argstr job "stdlib"
883+
- if: steps.stepCheck.outputs.status == 'built'
884+
name: Building/fetching current CI target
885+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
886+
--argstr job "coinduction"
830887
compcert:
831888
needs:
832889
- coq
@@ -1724,6 +1781,63 @@ jobs:
17241781
name: Building/fetching current CI target
17251782
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
17261783
--argstr job "iris"
1784+
iris-examples:
1785+
needs:
1786+
- coq
1787+
- iris
1788+
runs-on: ubuntu-latest
1789+
steps:
1790+
- name: Determine which commit to initially checkout
1791+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
1792+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
1793+
\ }}\" >> $GITHUB_ENV\nfi\n"
1794+
- name: Git checkout
1795+
uses: actions/checkout@v3
1796+
with:
1797+
fetch-depth: 0
1798+
ref: ${{ env.target_commit }}
1799+
- name: Determine which commit to test
1800+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
1801+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
1802+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
1803+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
1804+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
1805+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
1806+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
1807+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
1808+
- name: Git checkout
1809+
uses: actions/checkout@v3
1810+
with:
1811+
fetch-depth: 0
1812+
ref: ${{ env.tested_commit }}
1813+
- name: Cachix install
1814+
uses: cachix/install-nix-action@v27
1815+
with:
1816+
nix_path: nixpkgs=channel:nixpkgs-unstable
1817+
- name: Cachix setup coq-community
1818+
uses: cachix/cachix-action@v15
1819+
with:
1820+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1821+
extraPullNames: coq, math-comp
1822+
name: coq-community
1823+
- id: stepCheck
1824+
name: Checking presence of CI target iris-examples
1825+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
1826+
\ bundle \"coq-master\" --argstr job \"iris-examples\" \\\n --dry-run 2>&1\
1827+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
1828+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
1829+
- if: steps.stepCheck.outputs.status == 'built'
1830+
name: 'Building/fetching previous CI target: coq'
1831+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
1832+
--argstr job "coq"
1833+
- if: steps.stepCheck.outputs.status == 'built'
1834+
name: 'Building/fetching previous CI target: iris'
1835+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
1836+
--argstr job "iris"
1837+
- if: steps.stepCheck.outputs.status == 'built'
1838+
name: Building/fetching current CI target
1839+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
1840+
--argstr job "iris-examples"
17271841
itauto:
17281842
needs:
17291843
- coq
@@ -2826,6 +2940,63 @@ jobs:
28262940
name: Building/fetching current CI target
28272941
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
28282942
--argstr job "mathcomp-zify"
2943+
menhir:
2944+
needs:
2945+
- coq
2946+
- stdlib
2947+
runs-on: ubuntu-latest
2948+
steps:
2949+
- name: Determine which commit to initially checkout
2950+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
2951+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
2952+
\ }}\" >> $GITHUB_ENV\nfi\n"
2953+
- name: Git checkout
2954+
uses: actions/checkout@v3
2955+
with:
2956+
fetch-depth: 0
2957+
ref: ${{ env.target_commit }}
2958+
- name: Determine which commit to test
2959+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2960+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2961+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2962+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
2963+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
2964+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
2965+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
2966+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2967+
- name: Git checkout
2968+
uses: actions/checkout@v3
2969+
with:
2970+
fetch-depth: 0
2971+
ref: ${{ env.tested_commit }}
2972+
- name: Cachix install
2973+
uses: cachix/install-nix-action@v27
2974+
with:
2975+
nix_path: nixpkgs=channel:nixpkgs-unstable
2976+
- name: Cachix setup coq-community
2977+
uses: cachix/cachix-action@v15
2978+
with:
2979+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2980+
extraPullNames: coq, math-comp
2981+
name: coq-community
2982+
- id: stepCheck
2983+
name: Checking presence of CI target menhir
2984+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2985+
\ bundle \"coq-master\" --argstr job \"menhir\" \\\n --dry-run 2>&1 > /dev/null)\n\
2986+
echo $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\" | sed \"\
2987+
s/.*/built/\") >> $GITHUB_OUTPUT\n"
2988+
- if: steps.stepCheck.outputs.status == 'built'
2989+
name: 'Building/fetching previous CI target: coq'
2990+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
2991+
--argstr job "coq"
2992+
- if: steps.stepCheck.outputs.status == 'built'
2993+
name: 'Building/fetching previous CI target: stdlib'
2994+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
2995+
--argstr job "stdlib"
2996+
- if: steps.stepCheck.outputs.status == 'built'
2997+
name: Building/fetching current CI target
2998+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
2999+
--argstr job "menhir"
28293000
metacoq:
28303001
needs:
28313002
- coq
@@ -4093,6 +4264,63 @@ jobs:
40934264
name: Building/fetching current CI target
40944265
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
40954266
--argstr job "vst"
4267+
waterproof:
4268+
needs:
4269+
- coq
4270+
- stdlib
4271+
runs-on: ubuntu-latest
4272+
steps:
4273+
- name: Determine which commit to initially checkout
4274+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
4275+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
4276+
\ }}\" >> $GITHUB_ENV\nfi\n"
4277+
- name: Git checkout
4278+
uses: actions/checkout@v3
4279+
with:
4280+
fetch-depth: 0
4281+
ref: ${{ env.target_commit }}
4282+
- name: Determine which commit to test
4283+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
4284+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
4285+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
4286+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
4287+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
4288+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
4289+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
4290+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
4291+
- name: Git checkout
4292+
uses: actions/checkout@v3
4293+
with:
4294+
fetch-depth: 0
4295+
ref: ${{ env.tested_commit }}
4296+
- name: Cachix install
4297+
uses: cachix/install-nix-action@v27
4298+
with:
4299+
nix_path: nixpkgs=channel:nixpkgs-unstable
4300+
- name: Cachix setup coq-community
4301+
uses: cachix/cachix-action@v15
4302+
with:
4303+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
4304+
extraPullNames: coq, math-comp
4305+
name: coq-community
4306+
- id: stepCheck
4307+
name: Checking presence of CI target waterproof
4308+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
4309+
\ bundle \"coq-master\" --argstr job \"waterproof\" \\\n --dry-run 2>&1\
4310+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
4311+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
4312+
- if: steps.stepCheck.outputs.status == 'built'
4313+
name: 'Building/fetching previous CI target: coq'
4314+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
4315+
--argstr job "coq"
4316+
- if: steps.stepCheck.outputs.status == 'built'
4317+
name: 'Building/fetching previous CI target: stdlib'
4318+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
4319+
--argstr job "stdlib"
4320+
- if: steps.stepCheck.outputs.status == 'built'
4321+
name: Building/fetching current CI target
4322+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
4323+
--argstr job "waterproof"
40964324
name: Nix CI for bundle coq-master
40974325
'on':
40984326
pull_request:

0 commit comments

Comments
 (0)