From 4408e98b64d3908381f42eefad9c8de359db60a8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 2 Dec 2024 18:32:17 +0100 Subject: [PATCH 01/14] Update default.nix --- .nix/ocaml-overlays/elpi/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.nix/ocaml-overlays/elpi/default.nix b/.nix/ocaml-overlays/elpi/default.nix index a40d50715..357671838 100644 --- a/.nix/ocaml-overlays/elpi/default.nix +++ b/.nix/ocaml-overlays/elpi/default.nix @@ -39,7 +39,7 @@ buildDunePackage { # atdgen is both a library and executable nativeBuildInputs = [ perl ] - ++ [ (if lib.versionAtLeast version "1.15" || version == "dev" then menhir else camlp5) ] + ++ [ menhir ] ++ lib.optional (lib.versionAtLeast version "1.16" || version == "dev") atdgen; buildInputs = [ ncurses ] ++ lib.optional (lib.versionAtLeast version "1.16" || version == "dev") atdgen; From 1756933de7ae45487a8375b4d3dfaa0c4e485d61 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 2 Dec 2024 18:44:31 +0100 Subject: [PATCH 02/14] Update default.nix --- .nix/ocaml-overlays/elpi/default.nix | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/.nix/ocaml-overlays/elpi/default.nix b/.nix/ocaml-overlays/elpi/default.nix index 357671838..684f0a888 100644 --- a/.nix/ocaml-overlays/elpi/default.nix +++ b/.nix/ocaml-overlays/elpi/default.nix @@ -38,11 +38,8 @@ buildDunePackage { minimalOCamlVersion = "4.07"; # atdgen is both a library and executable - nativeBuildInputs = [ perl ] - ++ [ menhir ] - ++ lib.optional (lib.versionAtLeast version "1.16" || version == "dev") atdgen; - buildInputs = [ ncurses ] - ++ lib.optional (lib.versionAtLeast version "1.16" || version == "dev") atdgen; + nativeBuildInputs = [ menhir ] ++ atdgen; + buildInputs = [ ncurses ]; propagatedBuildInputs = [ re stdlib-shims menhirLib ppxlib ppx_deriving ]; From 3a8ef8e0c1be499abc98c1b75cf0ae0895fd451c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 2 Dec 2024 19:31:29 +0100 Subject: [PATCH 03/14] Update default.nix --- .nix/ocaml-overlays/elpi/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.nix/ocaml-overlays/elpi/default.nix b/.nix/ocaml-overlays/elpi/default.nix index 684f0a888..a7e0643bd 100644 --- a/.nix/ocaml-overlays/elpi/default.nix +++ b/.nix/ocaml-overlays/elpi/default.nix @@ -1,10 +1,10 @@ { lib -, buildDunePackage, camlp5 +, buildDunePackage , ocaml , menhir, menhirLib , atdgen , stdlib-shims -, re, perl, ncurses +, re, ncurses , ppxlib, ppx_deriving , coqPackages , version ? "2.0.3" From 538519f489faa03e0505f47252f4df0039084c78 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 2 Dec 2024 23:10:51 +0100 Subject: [PATCH 04/14] Update nix-action-coq-master.yml --- .github/workflows/nix-action-coq-master.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index 932525614..a4cd8660c 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -84,6 +84,12 @@ jobs: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community, math-comp name: coq-elpi + - id: hack + run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr + bundle \"coq-master\" --argstr job \"coq-elpi\" \\\n --dry-run 2> err > out || (touch fail; true)" + - run: echo err + - run: "if [ -e fail ]; then exit 1; else exit 0; fi" + - run: "(echo out; echo -n status=; echo out | grep \"built:\" | sed \"\s/.*/built/\") >> $GITHUB_OUTPUT\n" - 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 From bb269e00a3570c6c0b8098706ccb4ac912f49ce2 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 2 Dec 2024 23:12:23 +0100 Subject: [PATCH 05/14] Update nix-action-coq-master.yml --- .github/workflows/nix-action-coq-master.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index a4cd8660c..bd9966c66 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -87,9 +87,9 @@ jobs: - id: hack run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle \"coq-master\" --argstr job \"coq-elpi\" \\\n --dry-run 2> err > out || (touch fail; true)" - - run: echo err + - run: cat err - run: "if [ -e fail ]; then exit 1; else exit 0; fi" - - run: "(echo out; echo -n status=; echo out | grep \"built:\" | sed \"\s/.*/built/\") >> $GITHUB_OUTPUT\n" + - run: "(echo out; echo -n status=; cat out | grep \"built:\" | sed \"\s/.*/built/\") >> $GITHUB_OUTPUT\n" - 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 From 3534ef1393aecaf5d59b45022fec01311666f822 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 2 Dec 2024 23:12:55 +0100 Subject: [PATCH 06/14] Update .github/workflows/nix-action-coq-master.yml --- .github/workflows/nix-action-coq-master.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index bd9966c66..a85951e9c 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -89,7 +89,7 @@ jobs: bundle \"coq-master\" --argstr job \"coq-elpi\" \\\n --dry-run 2> err > out || (touch fail; true)" - run: cat err - run: "if [ -e fail ]; then exit 1; else exit 0; fi" - - run: "(echo out; echo -n status=; cat out | grep \"built:\" | sed \"\s/.*/built/\") >> $GITHUB_OUTPUT\n" + - run: "(echo out; echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n" - 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 From a1d27ef20f92f1b9afc44ffb432a4d0e8a8c3a7c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 3 Dec 2024 08:05:32 +0100 Subject: [PATCH 07/14] Update default.nix --- .nix/ocaml-overlays/elpi/default.nix | 3 --- 1 file changed, 3 deletions(-) diff --git a/.nix/ocaml-overlays/elpi/default.nix b/.nix/ocaml-overlays/elpi/default.nix index a7e0643bd..b1a8bc2ec 100644 --- a/.nix/ocaml-overlays/elpi/default.nix +++ b/.nix/ocaml-overlays/elpi/default.nix @@ -10,9 +10,6 @@ , version ? "2.0.3" }: -let p5 = camlp5; in -let camlp5 = p5.override { legacy = true; }; in - let fetched = coqPackages.metaFetch ({ release."2.0.3".sha256 = "sha256-t2z0sWPiFgp6LuR6CsH/Zk9qfxW+3QjjFcYrB6qSPgc="; release."1.20.0".sha256 = "sha256-lctZAIQgOg5d+LfILtWsBVcsemV3zTZYfJfDlCxHtcA="; From 9b9780f668ff315999762b828abc3b2274ec68f4 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 3 Dec 2024 08:13:50 +0100 Subject: [PATCH 08/14] Update default.nix --- .nix/ocaml-overlays/elpi/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.nix/ocaml-overlays/elpi/default.nix b/.nix/ocaml-overlays/elpi/default.nix index b1a8bc2ec..a04c0f31b 100644 --- a/.nix/ocaml-overlays/elpi/default.nix +++ b/.nix/ocaml-overlays/elpi/default.nix @@ -35,7 +35,7 @@ buildDunePackage { minimalOCamlVersion = "4.07"; # atdgen is both a library and executable - nativeBuildInputs = [ menhir ] ++ atdgen; + nativeBuildInputs = [ menhir ] ++ [ atdgen ]; buildInputs = [ ncurses ]; propagatedBuildInputs = [ re stdlib-shims menhirLib ppxlib ppx_deriving ]; From 8ac4bc4e0f0621a2798e546e4491c4bdb7b0c4a4 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 3 Dec 2024 08:25:16 +0100 Subject: [PATCH 09/14] Update nix-action-coq-master.yml --- .github/workflows/nix-action-coq-master.yml | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index a85951e9c..d6d79d298 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -84,18 +84,16 @@ jobs: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community, math-comp name: coq-elpi - - id: hack + - name: No idea what this does run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle \"coq-master\" --argstr job \"coq-elpi\" \\\n --dry-run 2> err > out || (touch fail; true)" - - run: cat err - - run: "if [ -e fail ]; then exit 1; else exit 0; fi" - - run: "(echo out; echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n" + - name: Error reporting + run: cat err + - name: Failure check + run: "if [ -e fail ]; then exit 1; else exit 0; fi" - 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 \"coq-master\" --argstr job \"coq-elpi\" \\\n --dry-run 2>&1 > /dev/null)\n - echo $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\" | sed \"\ - s/.*/built/\") >> $GITHUB_OUTPUT\n" + run: "(echo out; echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\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 "coq-master" From 8323064d3189f8e17a916b2dac73a6100a6921cf Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 3 Dec 2024 08:26:19 +0100 Subject: [PATCH 10/14] Update nix-action-coq-master.yml --- .github/workflows/nix-action-coq-master.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index d6d79d298..3dbc53479 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -93,7 +93,7 @@ jobs: run: "if [ -e fail ]; then exit 1; else exit 0; fi" - id: stepCheck name: Checking presence of CI target coq-elpi - run: "(echo out; echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n" + run: "(echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\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 "coq-master" From bef9407689960bf3d41132e97dbe142dc8e857ba Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 3 Dec 2024 09:33:35 +0100 Subject: [PATCH 11/14] Update default.nix --- .nix/ocaml-overlays/elpi/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.nix/ocaml-overlays/elpi/default.nix b/.nix/ocaml-overlays/elpi/default.nix index a04c0f31b..2a4da79f4 100644 --- a/.nix/ocaml-overlays/elpi/default.nix +++ b/.nix/ocaml-overlays/elpi/default.nix @@ -36,7 +36,7 @@ buildDunePackage { # atdgen is both a library and executable nativeBuildInputs = [ menhir ] ++ [ atdgen ]; - buildInputs = [ ncurses ]; + buildInputs = [ ncurses ] ++ [ atdgen ]; propagatedBuildInputs = [ re stdlib-shims menhirLib ppxlib ppx_deriving ]; From 495f8a64046f64c4e8e63f0dc5b6e74b4694769f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 3 Dec 2024 15:19:12 +0100 Subject: [PATCH 12/14] Update .github/workflows/nix-action-coq-master.yml --- .github/workflows/nix-action-coq-master.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index 3dbc53479..4c1253d9a 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -93,7 +93,7 @@ jobs: run: "if [ -e fail ]; then exit 1; else exit 0; fi" - id: stepCheck name: Checking presence of CI target coq-elpi - run: "(echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n" + run: "(cat out; echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\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 "coq-master" From 7fa825d534eab43a81c0e76337434d0968982198 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 4 Dec 2024 08:15:02 +0100 Subject: [PATCH 13/14] cachix 30 --- .github/workflows/nix-action-coq-master.yml | 42 ++++++++++----------- 1 file changed, 21 insertions(+), 21 deletions(-) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index 4c1253d9a..3c829500f 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -27,7 +27,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -75,7 +75,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -132,7 +132,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -195,7 +195,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -278,7 +278,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -346,7 +346,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -417,7 +417,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -482,7 +482,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -544,7 +544,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -623,7 +623,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -690,7 +690,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -759,7 +759,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -833,7 +833,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -894,7 +894,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -956,7 +956,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -1034,7 +1034,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -1096,7 +1096,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -1160,7 +1160,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -1229,7 +1229,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -1290,7 +1290,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi @@ -1369,7 +1369,7 @@ jobs: fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install - uses: cachix/install-nix-action@v27 + uses: cachix/install-nix-action@v30 with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup coq-elpi From aba51c63267d971080fdc1166fa8bb42a4f96164 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 5 Dec 2024 11:01:45 +0100 Subject: [PATCH 14/14] Update .github/workflows/nix-action-coq-master.yml --- .github/workflows/nix-action-coq-master.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml index 3c829500f..08d8b3ab0 100644 --- a/.github/workflows/nix-action-coq-master.yml +++ b/.github/workflows/nix-action-coq-master.yml @@ -93,7 +93,7 @@ jobs: run: "if [ -e fail ]; then exit 1; else exit 0; fi" - id: stepCheck name: Checking presence of CI target coq-elpi - run: "(cat out; echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n" + run: "cat out >> $GITHUB_OUTPUT; (echo -n status=; cat out | grep \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\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 "coq-master"