Skip to content

Commit 5f9319f

Browse files
proux01proux01
committed
WIP
1 parent 66ea78e commit 5f9319f

File tree

1 file changed

+332
-0
lines changed

1 file changed

+332
-0
lines changed

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

+332
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
@@ -1843,6 +1957,63 @@ jobs:
18431957
name: Building/fetching current CI target
18441958
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
18451959
--argstr job "itree-io"
1960+
jasmin:
1961+
needs:
1962+
- coq
1963+
- mathcomp-word
1964+
runs-on: ubuntu-latest
1965+
steps:
1966+
- name: Determine which commit to initially checkout
1967+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
1968+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
1969+
\ }}\" >> $GITHUB_ENV\nfi\n"
1970+
- name: Git checkout
1971+
uses: actions/checkout@v3
1972+
with:
1973+
fetch-depth: 0
1974+
ref: ${{ env.target_commit }}
1975+
- name: Determine which commit to test
1976+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
1977+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
1978+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
1979+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
1980+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
1981+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
1982+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
1983+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
1984+
- name: Git checkout
1985+
uses: actions/checkout@v3
1986+
with:
1987+
fetch-depth: 0
1988+
ref: ${{ env.tested_commit }}
1989+
- name: Cachix install
1990+
uses: cachix/install-nix-action@v27
1991+
with:
1992+
nix_path: nixpkgs=channel:nixpkgs-unstable
1993+
- name: Cachix setup coq-community
1994+
uses: cachix/cachix-action@v15
1995+
with:
1996+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1997+
extraPullNames: coq, math-comp
1998+
name: coq-community
1999+
- id: stepCheck
2000+
name: Checking presence of CI target jasmin
2001+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2002+
\ bundle \"coq-master\" --argstr job \"jasmin\" \\\n --dry-run 2>&1 > /dev/null)\n\
2003+
echo $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\" | sed \"\
2004+
s/.*/built/\") >> $GITHUB_OUTPUT\n"
2005+
- if: steps.stepCheck.outputs.status == 'built'
2006+
name: 'Building/fetching previous CI target: coq'
2007+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
2008+
--argstr job "coq"
2009+
- if: steps.stepCheck.outputs.status == 'built'
2010+
name: 'Building/fetching previous CI target: mathcomp-word'
2011+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
2012+
--argstr job "mathcomp-word"
2013+
- if: steps.stepCheck.outputs.status == 'built'
2014+
name: Building/fetching current CI target
2015+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
2016+
--argstr job "jasmin"
18462017
math-classes:
18472018
needs:
18482019
- coq
@@ -2826,6 +2997,63 @@ jobs:
28262997
name: Building/fetching current CI target
28272998
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
28282999
--argstr job "mathcomp-zify"
3000+
menhir:
3001+
needs:
3002+
- coq
3003+
- stdlib
3004+
runs-on: ubuntu-latest
3005+
steps:
3006+
- name: Determine which commit to initially checkout
3007+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
3008+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
3009+
\ }}\" >> $GITHUB_ENV\nfi\n"
3010+
- name: Git checkout
3011+
uses: actions/checkout@v3
3012+
with:
3013+
fetch-depth: 0
3014+
ref: ${{ env.target_commit }}
3015+
- name: Determine which commit to test
3016+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
3017+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
3018+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
3019+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
3020+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
3021+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
3022+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
3023+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
3024+
- name: Git checkout
3025+
uses: actions/checkout@v3
3026+
with:
3027+
fetch-depth: 0
3028+
ref: ${{ env.tested_commit }}
3029+
- name: Cachix install
3030+
uses: cachix/install-nix-action@v27
3031+
with:
3032+
nix_path: nixpkgs=channel:nixpkgs-unstable
3033+
- name: Cachix setup coq-community
3034+
uses: cachix/cachix-action@v15
3035+
with:
3036+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
3037+
extraPullNames: coq, math-comp
3038+
name: coq-community
3039+
- id: stepCheck
3040+
name: Checking presence of CI target menhir
3041+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
3042+
\ bundle \"coq-master\" --argstr job \"menhir\" \\\n --dry-run 2>&1 > /dev/null)\n\
3043+
echo $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\" | sed \"\
3044+
s/.*/built/\") >> $GITHUB_OUTPUT\n"
3045+
- if: steps.stepCheck.outputs.status == 'built'
3046+
name: 'Building/fetching previous CI target: coq'
3047+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
3048+
--argstr job "coq"
3049+
- if: steps.stepCheck.outputs.status == 'built'
3050+
name: 'Building/fetching previous CI target: stdlib'
3051+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
3052+
--argstr job "stdlib"
3053+
- if: steps.stepCheck.outputs.status == 'built'
3054+
name: Building/fetching current CI target
3055+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
3056+
--argstr job "menhir"
28293057
metacoq:
28303058
needs:
28313059
- coq
@@ -3652,6 +3880,53 @@ jobs:
36523880
name: Building/fetching current CI target
36533881
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
36543882
--argstr job "smtcoq"
3883+
smtcoq-trakt:
3884+
needs: []
3885+
runs-on: ubuntu-latest
3886+
steps:
3887+
- name: Determine which commit to initially checkout
3888+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
3889+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
3890+
\ }}\" >> $GITHUB_ENV\nfi\n"
3891+
- name: Git checkout
3892+
uses: actions/checkout@v3
3893+
with:
3894+
fetch-depth: 0
3895+
ref: ${{ env.target_commit }}
3896+
- name: Determine which commit to test
3897+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
3898+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
3899+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
3900+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
3901+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
3902+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
3903+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
3904+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
3905+
- name: Git checkout
3906+
uses: actions/checkout@v3
3907+
with:
3908+
fetch-depth: 0
3909+
ref: ${{ env.tested_commit }}
3910+
- name: Cachix install
3911+
uses: cachix/install-nix-action@v27
3912+
with:
3913+
nix_path: nixpkgs=channel:nixpkgs-unstable
3914+
- name: Cachix setup coq-community
3915+
uses: cachix/cachix-action@v15
3916+
with:
3917+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
3918+
extraPullNames: coq, math-comp
3919+
name: coq-community
3920+
- id: stepCheck
3921+
name: Checking presence of CI target smtcoq-trakt
3922+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
3923+
\ bundle \"coq-master\" --argstr job \"smtcoq-trakt\" \\\n --dry-run 2>&1\
3924+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
3925+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
3926+
- if: steps.stepCheck.outputs.status == 'built'
3927+
name: Building/fetching current CI target
3928+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
3929+
--argstr job "smtcoq-trakt"
36553930
stalmarck:
36563931
needs:
36573932
- coq
@@ -4093,6 +4368,63 @@ jobs:
40934368
name: Building/fetching current CI target
40944369
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
40954370
--argstr job "vst"
4371+
waterproof:
4372+
needs:
4373+
- coq
4374+
- stdlib
4375+
runs-on: ubuntu-latest
4376+
steps:
4377+
- name: Determine which commit to initially checkout
4378+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
4379+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
4380+
\ }}\" >> $GITHUB_ENV\nfi\n"
4381+
- name: Git checkout
4382+
uses: actions/checkout@v3
4383+
with:
4384+
fetch-depth: 0
4385+
ref: ${{ env.target_commit }}
4386+
- name: Determine which commit to test
4387+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
4388+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
4389+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
4390+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
4391+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
4392+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
4393+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
4394+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
4395+
- name: Git checkout
4396+
uses: actions/checkout@v3
4397+
with:
4398+
fetch-depth: 0
4399+
ref: ${{ env.tested_commit }}
4400+
- name: Cachix install
4401+
uses: cachix/install-nix-action@v27
4402+
with:
4403+
nix_path: nixpkgs=channel:nixpkgs-unstable
4404+
- name: Cachix setup coq-community
4405+
uses: cachix/cachix-action@v15
4406+
with:
4407+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
4408+
extraPullNames: coq, math-comp
4409+
name: coq-community
4410+
- id: stepCheck
4411+
name: Checking presence of CI target waterproof
4412+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
4413+
\ bundle \"coq-master\" --argstr job \"waterproof\" \\\n --dry-run 2>&1\
4414+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
4415+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
4416+
- if: steps.stepCheck.outputs.status == 'built'
4417+
name: 'Building/fetching previous CI target: coq'
4418+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
4419+
--argstr job "coq"
4420+
- if: steps.stepCheck.outputs.status == 'built'
4421+
name: 'Building/fetching previous CI target: stdlib'
4422+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
4423+
--argstr job "stdlib"
4424+
- if: steps.stepCheck.outputs.status == 'built'
4425+
name: Building/fetching current CI target
4426+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-master"
4427+
--argstr job "waterproof"
40964428
name: Nix CI for bundle coq-master
40974429
'on':
40984430
pull_request:

0 commit comments

Comments
 (0)