Skip to content

Commit fda356e

Browse files
proux01proux01
authored
Merge pull request #122 from proux01/prepare900
Prepare 9.0.0
2 parents 090e6a8 + 5ab424a commit fda356e

34 files changed

+441
-518
lines changed

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

Lines changed: 108 additions & 143 deletions
Original file line numberDiff line numberDiff line change
@@ -1435,74 +1435,6 @@ jobs:
14351435
name: Building/fetching current CI target
14361436
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
14371437
--argstr job "coinduction"
1438-
compcert:
1439-
needs:
1440-
- coq
1441-
- flocq
1442-
- MenhirLib
1443-
runs-on: ubuntu-latest
1444-
steps:
1445-
- name: Determine which commit to initially checkout
1446-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
1447-
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
1448-
}}\" >> $GITHUB_ENV\nfi\n"
1449-
- name: Git checkout
1450-
uses: actions/checkout@v4
1451-
with:
1452-
fetch-depth: 0
1453-
ref: ${{ env.target_commit }}
1454-
- name: Determine which commit to test
1455-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
1456-
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
1457-
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
1458-
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
1459-
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
1460-
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
1461-
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
1462-
\ fi\nfi\n"
1463-
- name: Git checkout
1464-
uses: actions/checkout@v4
1465-
with:
1466-
fetch-depth: 0
1467-
ref: ${{ env.tested_commit }}
1468-
- name: Cachix install
1469-
uses: cachix/install-nix-action@v30
1470-
with:
1471-
nix_path: nixpkgs=channel:nixpkgs-unstable
1472-
- name: Cachix setup coq
1473-
uses: cachix/cachix-action@v15
1474-
with:
1475-
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1476-
extraPullNames: coq-community, math-comp
1477-
name: coq
1478-
- id: stepGetDerivation
1479-
name: Getting derivation for current job (compcert)
1480-
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
1481-
\"rocq-9.0\" --argstr job \"compcert\" \\\n --dry-run 2> err > out || (touch
1482-
fail; true)\n"
1483-
- name: Error reporting
1484-
run: "echo \"out=\"; cat out\necho \"err=\"; cat err\n"
1485-
- name: Failure check
1486-
run: if [ -e fail ]; then exit 1; else exit 0; fi;
1487-
- id: stepCheck
1488-
name: Checking presence of CI target for current job
1489-
run: (echo -n status=; cat out err | grep "built:" | sed "s/.*/built/") >> $GITHUB_OUTPUT
1490-
- if: steps.stepCheck.outputs.status == 'built'
1491-
name: 'Building/fetching previous CI target: coq'
1492-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
1493-
--argstr job "coq"
1494-
- if: steps.stepCheck.outputs.status == 'built'
1495-
name: 'Building/fetching previous CI target: flocq'
1496-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
1497-
--argstr job "flocq"
1498-
- if: steps.stepCheck.outputs.status == 'built'
1499-
name: 'Building/fetching previous CI target: MenhirLib'
1500-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
1501-
--argstr job "MenhirLib"
1502-
- if: steps.stepCheck.outputs.status == 'built'
1503-
name: Building/fetching current CI target
1504-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
1505-
--argstr job "compcert"
15061438
coq:
15071439
needs: []
15081440
runs-on: ubuntu-latest
@@ -1614,69 +1546,6 @@ jobs:
16141546
name: Building/fetching current CI target
16151547
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
16161548
--argstr job "coq-elpi"
1617-
coq-elpi-test:
1618-
needs:
1619-
- coq
1620-
- coq-elpi
1621-
runs-on: ubuntu-latest
1622-
steps:
1623-
- name: Determine which commit to initially checkout
1624-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
1625-
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
1626-
}}\" >> $GITHUB_ENV\nfi\n"
1627-
- name: Git checkout
1628-
uses: actions/checkout@v4
1629-
with:
1630-
fetch-depth: 0
1631-
ref: ${{ env.target_commit }}
1632-
- name: Determine which commit to test
1633-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
1634-
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
1635-
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
1636-
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
1637-
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
1638-
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
1639-
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
1640-
\ fi\nfi\n"
1641-
- name: Git checkout
1642-
uses: actions/checkout@v4
1643-
with:
1644-
fetch-depth: 0
1645-
ref: ${{ env.tested_commit }}
1646-
- name: Cachix install
1647-
uses: cachix/install-nix-action@v30
1648-
with:
1649-
nix_path: nixpkgs=channel:nixpkgs-unstable
1650-
- name: Cachix setup coq
1651-
uses: cachix/cachix-action@v15
1652-
with:
1653-
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1654-
extraPullNames: coq-community, math-comp
1655-
name: coq
1656-
- id: stepGetDerivation
1657-
name: Getting derivation for current job (coq-elpi-test)
1658-
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
1659-
\"rocq-9.0\" --argstr job \"coq-elpi-test\" \\\n --dry-run 2> err > out
1660-
|| (touch fail; true)\n"
1661-
- name: Error reporting
1662-
run: "echo \"out=\"; cat out\necho \"err=\"; cat err\n"
1663-
- name: Failure check
1664-
run: if [ -e fail ]; then exit 1; else exit 0; fi;
1665-
- id: stepCheck
1666-
name: Checking presence of CI target for current job
1667-
run: (echo -n status=; cat out err | grep "built:" | sed "s/.*/built/") >> $GITHUB_OUTPUT
1668-
- if: steps.stepCheck.outputs.status == 'built'
1669-
name: 'Building/fetching previous CI target: coq'
1670-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
1671-
--argstr job "coq"
1672-
- if: steps.stepCheck.outputs.status == 'built'
1673-
name: 'Building/fetching previous CI target: coq-elpi'
1674-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
1675-
--argstr job "coq-elpi"
1676-
- if: steps.stepCheck.outputs.status == 'built'
1677-
name: Building/fetching current CI target
1678-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
1679-
--argstr job "coq-elpi-test"
16801549
coq-hammer:
16811550
needs:
16821551
- coq
@@ -6618,6 +6487,112 @@ jobs:
66186487
name: Building/fetching current CI target
66196488
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
66206489
--argstr job "rocq-core"
6490+
rocq-elpi:
6491+
needs: []
6492+
runs-on: ubuntu-latest
6493+
steps:
6494+
- name: Determine which commit to initially checkout
6495+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
6496+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
6497+
}}\" >> $GITHUB_ENV\nfi\n"
6498+
- name: Git checkout
6499+
uses: actions/checkout@v4
6500+
with:
6501+
fetch-depth: 0
6502+
ref: ${{ env.target_commit }}
6503+
- name: Determine which commit to test
6504+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
6505+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
6506+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
6507+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
6508+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
6509+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
6510+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
6511+
\ fi\nfi\n"
6512+
- name: Git checkout
6513+
uses: actions/checkout@v4
6514+
with:
6515+
fetch-depth: 0
6516+
ref: ${{ env.tested_commit }}
6517+
- name: Cachix install
6518+
uses: cachix/install-nix-action@v30
6519+
with:
6520+
nix_path: nixpkgs=channel:nixpkgs-unstable
6521+
- name: Cachix setup coq
6522+
uses: cachix/cachix-action@v15
6523+
with:
6524+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
6525+
extraPullNames: coq-community, math-comp
6526+
name: coq
6527+
- id: stepGetDerivation
6528+
name: Getting derivation for current job (rocq-elpi)
6529+
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
6530+
\"rocq-9.0\" --argstr job \"rocq-elpi\" \\\n --dry-run 2> err > out || (touch
6531+
fail; true)\n"
6532+
- name: Error reporting
6533+
run: "echo \"out=\"; cat out\necho \"err=\"; cat err\n"
6534+
- name: Failure check
6535+
run: if [ -e fail ]; then exit 1; else exit 0; fi;
6536+
- id: stepCheck
6537+
name: Checking presence of CI target for current job
6538+
run: (echo -n status=; cat out err | grep "built:" | sed "s/.*/built/") >> $GITHUB_OUTPUT
6539+
- if: steps.stepCheck.outputs.status == 'built'
6540+
name: Building/fetching current CI target
6541+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
6542+
--argstr job "rocq-elpi"
6543+
rocq-elpi-test:
6544+
needs: []
6545+
runs-on: ubuntu-latest
6546+
steps:
6547+
- name: Determine which commit to initially checkout
6548+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
6549+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
6550+
}}\" >> $GITHUB_ENV\nfi\n"
6551+
- name: Git checkout
6552+
uses: actions/checkout@v4
6553+
with:
6554+
fetch-depth: 0
6555+
ref: ${{ env.target_commit }}
6556+
- name: Determine which commit to test
6557+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
6558+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
6559+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
6560+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
6561+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
6562+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
6563+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
6564+
\ fi\nfi\n"
6565+
- name: Git checkout
6566+
uses: actions/checkout@v4
6567+
with:
6568+
fetch-depth: 0
6569+
ref: ${{ env.tested_commit }}
6570+
- name: Cachix install
6571+
uses: cachix/install-nix-action@v30
6572+
with:
6573+
nix_path: nixpkgs=channel:nixpkgs-unstable
6574+
- name: Cachix setup coq
6575+
uses: cachix/cachix-action@v15
6576+
with:
6577+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
6578+
extraPullNames: coq-community, math-comp
6579+
name: coq
6580+
- id: stepGetDerivation
6581+
name: Getting derivation for current job (rocq-elpi-test)
6582+
run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
6583+
\"rocq-9.0\" --argstr job \"rocq-elpi-test\" \\\n --dry-run 2> err > out
6584+
|| (touch fail; true)\n"
6585+
- name: Error reporting
6586+
run: "echo \"out=\"; cat out\necho \"err=\"; cat err\n"
6587+
- name: Failure check
6588+
run: if [ -e fail ]; then exit 1; else exit 0; fi;
6589+
- id: stepCheck
6590+
name: Checking presence of CI target for current job
6591+
run: (echo -n status=; cat out err | grep "built:" | sed "s/.*/built/") >> $GITHUB_OUTPUT
6592+
- if: steps.stepCheck.outputs.status == 'built'
6593+
name: Building/fetching current CI target
6594+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
6595+
--argstr job "rocq-elpi-test"
66216596
rupicola:
66226597
needs:
66236598
- coq
@@ -7244,8 +7219,7 @@ jobs:
72447219
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
72457220
--argstr job "stdlib-refman-html"
72467221
stdlib-subcomponents:
7247-
needs:
7248-
- coq
7222+
needs: []
72497223
runs-on: ubuntu-latest
72507224
steps:
72517225
- name: Determine which commit to initially checkout
@@ -7293,17 +7267,12 @@ jobs:
72937267
- id: stepCheck
72947268
name: Checking presence of CI target for current job
72957269
run: (echo -n status=; cat out err | grep "built:" | sed "s/.*/built/") >> $GITHUB_OUTPUT
7296-
- if: steps.stepCheck.outputs.status == 'built'
7297-
name: 'Building/fetching previous CI target: coq'
7298-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
7299-
--argstr job "coq"
73007270
- if: steps.stepCheck.outputs.status == 'built'
73017271
name: Building/fetching current CI target
73027272
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
73037273
--argstr job "stdlib-subcomponents"
73047274
stdlib-test:
7305-
needs:
7306-
- coq
7275+
needs: []
73077276
runs-on: ubuntu-latest
73087277
steps:
73097278
- name: Determine which commit to initially checkout
@@ -7351,10 +7320,6 @@ jobs:
73517320
- id: stepCheck
73527321
name: Checking presence of CI target for current job
73537322
run: (echo -n status=; cat out err | grep "built:" | sed "s/.*/built/") >> $GITHUB_OUTPUT
7354-
- if: steps.stepCheck.outputs.status == 'built'
7355-
name: 'Building/fetching previous CI target: coq'
7356-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"
7357-
--argstr job "coq"
73587323
- if: steps.stepCheck.outputs.status == 'built'
73597324
name: Building/fetching current CI target
73607325
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "rocq-9.0"

0 commit comments

Comments
 (0)