Add support for GitHub caching of Nix builds. #108
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
jobs: | |
Cheerios: | |
needs: | |
- coq | |
- StructTact | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target Cheerios | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"Cheerios\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: StructTact' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "StructTact" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "Cheerios" | |
CoLoR: | |
needs: | |
- coq | |
- bignums | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target CoLoR | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"CoLoR\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: bignums' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "bignums" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "CoLoR" | |
HoTT: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target HoTT | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"HoTT\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "HoTT" | |
ITree: | |
needs: | |
- coq | |
- coq-ext-lib | |
- paco | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target ITree | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"ITree\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq-ext-lib' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-ext-lib" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: paco' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "paco" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "ITree" | |
InfSeqExt: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target InfSeqExt | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"InfSeqExt\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "InfSeqExt" | |
LibHyps: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target LibHyps | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"LibHyps\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "LibHyps" | |
QuickChick: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- coq-ext-lib | |
- simple-io | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target QuickChick | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"QuickChick\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq-ext-lib' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-ext-lib" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: simple-io' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "simple-io" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "QuickChick" | |
StructTact: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target StructTact | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"StructTact\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "StructTact" | |
Verdi: | |
needs: | |
- coq | |
- Cheerios | |
- InfSeqExt | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target Verdi | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"Verdi\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: Cheerios' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "Cheerios" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: InfSeqExt' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "InfSeqExt" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "Verdi" | |
aac-tactics: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target aac-tactics | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"aac-tactics\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "aac-tactics" | |
addition-chains: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-algebra | |
- mathcomp-fingroup | |
- paramcoq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target addition-chains | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"addition-chains\" \\\n --dry-run 2>&1 >\ | |
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: paramcoq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "paramcoq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "addition-chains" | |
bignums: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target bignums | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"bignums\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "bignums" | |
category-theory: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- equations | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target category-theory | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"category-theory\" \\\n --dry-run 2>&1 >\ | |
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: equations' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "equations" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "category-theory" | |
coq: | |
needs: [] | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coq | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coq\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
coq-elpi: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coq-elpi | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coq-elpi\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-elpi" | |
coq-ext-lib: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coq-ext-lib | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coq-ext-lib\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-ext-lib" | |
coq-lsp: | |
needs: | |
- coq | |
- serapi | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coq-lsp | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coq-lsp\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: serapi' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "serapi" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-lsp" | |
coq-record-update: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coq-record-update | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coq-record-update\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-record-update" | |
coq-shell: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coq-shell | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coq-shell\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-shell" | |
coqeal: | |
needs: | |
- coq | |
- mathcomp-algebra | |
- bignums | |
- paramcoq | |
- multinomials | |
- mathcomp-real-closed | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coqeal | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coqeal\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: bignums' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "bignums" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: paramcoq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "paramcoq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: multinomials' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "multinomials" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-real-closed' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-real-closed" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coqeal" | |
coqide: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coqide | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coqide\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coqide" | |
coqprime: | |
needs: | |
- coq | |
- bignums | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coqprime | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coqprime\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: bignums' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "bignums" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coqprime" | |
coquelicot: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target coquelicot | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"coquelicot\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coquelicot" | |
corn: | |
needs: | |
- coq | |
- bignums | |
- math-classes | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target corn | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"corn\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: bignums' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "bignums" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: math-classes' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "math-classes" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "corn" | |
deriving: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target deriving | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"deriving\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "deriving" | |
dpdgraph: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target dpdgraph | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"dpdgraph\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "dpdgraph" | |
equations: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target equations | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"equations\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "equations" | |
extructures: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- deriving | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target extructures | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"extructures\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: deriving' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "deriving" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "extructures" | |
flocq: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target flocq | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"flocq\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "flocq" | |
fourcolor: | |
needs: | |
- coq | |
- mathcomp-algebra | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target fourcolor | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"fourcolor\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "fourcolor" | |
gappalib: | |
needs: | |
- coq | |
- flocq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target gappalib | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"gappalib\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: flocq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "flocq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "gappalib" | |
hierarchy-builder: | |
needs: | |
- coq | |
- coq-elpi | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target hierarchy-builder | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"hierarchy-builder\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq-elpi' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-elpi" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "hierarchy-builder" | |
interval: | |
needs: | |
- coq | |
- bignums | |
- coquelicot | |
- flocq | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target interval | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"interval\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: bignums' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "bignums" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coquelicot' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coquelicot" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: flocq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "flocq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "interval" | |
itauto: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target itauto | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"itauto\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "itauto" | |
math-classes: | |
needs: | |
- coq | |
- bignums | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target math-classes | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"math-classes\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: bignums' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "bignums" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "math-classes" | |
mathcomp: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
- mathcomp-algebra | |
- mathcomp-solvable | |
- mathcomp-field | |
- mathcomp-character | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-solvable' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-solvable" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-field' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-field" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-character' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-character" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp" | |
mathcomp-algebra: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-algebra | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-algebra\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
mathcomp-algebra-tactics: | |
needs: | |
- coq | |
- mathcomp-algebra | |
- coq-elpi | |
- mathcomp-zify | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-algebra-tactics | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-algebra-tactics\" \\\n --dry-run\ | |
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\ | |
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq-elpi' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-elpi" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-zify' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-zify" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra-tactics" | |
mathcomp-analysis: | |
needs: | |
- coq | |
- mathcomp-classical | |
- mathcomp-field | |
- mathcomp-bigenough | |
- hierarchy-builder | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-analysis | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-analysis\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-classical' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-classical" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-field' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-field" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-bigenough' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-bigenough" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: hierarchy-builder' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "hierarchy-builder" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-analysis" | |
mathcomp-bigenough: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-bigenough | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-bigenough\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-bigenough" | |
mathcomp-character: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
- mathcomp-algebra | |
- mathcomp-solvable | |
- mathcomp-field | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-character | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-character\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-solvable' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-solvable" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-field' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-field" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-character" | |
mathcomp-classical: | |
needs: | |
- coq | |
- mathcomp-algebra | |
- mathcomp-finmap | |
- hierarchy-builder | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-classical | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-classical\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-finmap' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-finmap" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: hierarchy-builder' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "hierarchy-builder" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-classical" | |
mathcomp-field: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
- mathcomp-algebra | |
- mathcomp-solvable | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-field | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-field\" \\\n --dry-run 2>&1 >\ | |
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-solvable' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-solvable" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-field" | |
mathcomp-fingroup: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-fingroup | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-fingroup\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
mathcomp-finmap: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-finmap | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-finmap\" \\\n --dry-run 2>&1 >\ | |
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-finmap" | |
mathcomp-infotheo: | |
needs: | |
- coq | |
- mathcomp-analysis | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-infotheo | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-infotheo\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-analysis' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-analysis" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-infotheo" | |
mathcomp-real-closed: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-algebra | |
- mathcomp-field | |
- mathcomp-fingroup | |
- mathcomp-solvable | |
- mathcomp-bigenough | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-real-closed | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-real-closed\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-field' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-field" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-solvable' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-solvable" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-bigenough' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-bigenough" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-real-closed" | |
mathcomp-solvable: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
- mathcomp-algebra | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-solvable | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-solvable\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-solvable" | |
mathcomp-ssreflect: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-ssreflect | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-ssreflect\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
mathcomp-word: | |
needs: | |
- coq | |
- mathcomp-algebra | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-word | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-word\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-word" | |
mathcomp-zify: | |
needs: | |
- coq | |
- mathcomp-algebra | |
- mathcomp-ssreflect | |
- mathcomp-fingroup | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target mathcomp-zify | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"mathcomp-zify\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-zify" | |
metalib: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target metalib | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"metalib\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "metalib" | |
multinomials: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
- mathcomp-algebra | |
- mathcomp-finmap | |
- mathcomp-fingroup | |
- mathcomp-bigenough | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target multinomials | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"multinomials\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-algebra' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-algebra" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-finmap' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-finmap" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-fingroup' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-fingroup" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-bigenough' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-bigenough" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "multinomials" | |
paco: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target paco | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"paco\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "paco" | |
paramcoq: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target paramcoq | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"paramcoq\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "paramcoq" | |
pocklington: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target pocklington | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"pocklington\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "pocklington" | |
reglang: | |
needs: | |
- coq | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target reglang | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"reglang\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "reglang" | |
relation-algebra: | |
needs: | |
- coq | |
- aac-tactics | |
- mathcomp-ssreflect | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target relation-algebra | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"relation-algebra\" \\\n --dry-run 2>&1\ | |
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\ | |
\ | grep \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: aac-tactics' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "aac-tactics" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: mathcomp-ssreflect' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "mathcomp-ssreflect" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "relation-algebra" | |
semantics: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target semantics | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"semantics\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "semantics" | |
serapi: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target serapi | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"serapi\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "serapi" | |
simple-io: | |
needs: | |
- coq | |
- coq-ext-lib | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target simple-io | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"simple-io\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq-ext-lib' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-ext-lib" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "simple-io" | |
stdpp: | |
needs: | |
- coq | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target stdpp | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"stdpp\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "stdpp" | |
trakt: | |
needs: | |
- coq | |
- coq-elpi | |
runs-on: ubuntu-latest | |
steps: | |
- name: Determine which commit to initially checkout | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\ | |
\ }}\" >> $GITHUB_ENV\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.target_commit }} | |
- name: Determine which commit to test | |
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\ | |
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\ | |
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\ | |
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\ | |
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\ | |
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\ | |
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\ | |
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n" | |
- name: Git checkout | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
ref: ${{ env.tested_commit }} | |
- name: Cachix install | |
uses: cachix/install-nix-action@v20 | |
with: | |
nix_path: nixpkgs=channel:nixpkgs-unstable | |
- name: Cachix setup coq-community | |
uses: cachix/cachix-action@v12 | |
with: | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
extraPullNames: coq, math-comp | |
name: coq-community | |
- name: GitHub caching | |
uses: DeterminateSystems/magic-nix-cache-action@v2 | |
- id: stepCheck | |
name: Checking presence of CI target trakt | |
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\ | |
\ bundle \"8.17\" --argstr job \"trakt\" \\\n --dry-run 2>&1 > /dev/null)\n\ | |
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\ | |
\ \"built:\" | sed \"s/.*/built/\")\n" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: 'Building/fetching previous CI target: coq-elpi' | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "coq-elpi" | |
- if: steps.stepCheck.outputs.status == 'built' | |
name: Building/fetching current CI target | |
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr | |
job "trakt" | |
name: Nix CI for bundle 8.17 | |
'on': | |
pull_request: | |
paths: | |
- .github/workflows/** | |
pull_request_target: | |
types: | |
- opened | |
- synchronize | |
- reopened | |
push: | |
branches: | |
- master |