From 255a0b21852f661360db3222c4bbd35c5a413702 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 30 Mar 2023 14:12:44 -0700 Subject: [PATCH] Fix nix CI: erasure needs to come after template-pcuic --- .github/workflows/nix-action-coq-8.16-macos.yml | 8 ++++---- .github/workflows/nix-action-coq-8.16-ubuntu.yml | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/nix-action-coq-8.16-macos.yml b/.github/workflows/nix-action-coq-8.16-macos.yml index 7d42324f0..972dcf9bd 100644 --- a/.github/workflows/nix-action-coq-8.16-macos.yml +++ b/.github/workflows/nix-action-coq-8.16-macos.yml @@ -138,14 +138,14 @@ jobs: name: 'Building/fetching previous CI target: metacoq-safechecker' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" --argstr job "metacoq-safechecker" - - if: steps.stepCheck.outputs.status == 'built' - name: 'Building/fetching previous CI target: metacoq-erasure' - run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" - --argstr job "metacoq-erasure" - if: steps.stepCheck.outputs.status == 'built' name: 'Building/fetching previous CI target: metacoq-template-pcuic' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" --argstr job "metacoq-template-pcuic" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: metacoq-erasure' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" + --argstr job "metacoq-erasure" - if: steps.stepCheck.outputs.status == 'built' name: 'Building/fetching previous CI target: metacoq-safechecker-plugin' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" diff --git a/.github/workflows/nix-action-coq-8.16-ubuntu.yml b/.github/workflows/nix-action-coq-8.16-ubuntu.yml index f2e06d959..54da94691 100644 --- a/.github/workflows/nix-action-coq-8.16-ubuntu.yml +++ b/.github/workflows/nix-action-coq-8.16-ubuntu.yml @@ -138,14 +138,14 @@ jobs: name: 'Building/fetching previous CI target: metacoq-safechecker' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" --argstr job "metacoq-safechecker" - - if: steps.stepCheck.outputs.status == 'built' - name: 'Building/fetching previous CI target: metacoq-erasure' - run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" - --argstr job "metacoq-erasure" - if: steps.stepCheck.outputs.status == 'built' name: 'Building/fetching previous CI target: metacoq-template-pcuic' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" --argstr job "metacoq-template-pcuic" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: metacoq-erasure' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16" + --argstr job "metacoq-erasure" - if: steps.stepCheck.outputs.status == 'built' name: 'Building/fetching previous CI target: metacoq-safechecker-plugin' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.16"