diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index 54ab5f3b1ed..1eba4d27c0f 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -54,7 +54,7 @@ jobs: - name: Build Site run: | - nix build --accept-flake-config .#plutus-metatheory-site + nix build --accept-flake-config .#metatheory-site mkdir _metatheory cp -RL result/* _metatheory diff --git a/.github/workflows/papers-and-specs.yml b/.github/workflows/papers-and-specs.yml index 0a85fca986a..33e42cda5ed 100644 --- a/.github/workflows/papers-and-specs.yml +++ b/.github/workflows/papers-and-specs.yml @@ -35,7 +35,7 @@ jobs: ) mkdir -p _resources for target in "${TARGETS[@]}"; do - nix build --no-warn-dirty --accept-flake-config .#latex-documents.x86_64-linux.${target} + nix build --no-warn-dirty --accept-flake-config .#${target} cp -fr ./result/*.pdf _resources/${target}.pdf done diff --git a/nix/outputs.nix b/nix/outputs.nix index 906d6fd8ee4..05c3867067d 100644 --- a/nix/outputs.nix +++ b/nix/outputs.nix @@ -43,10 +43,11 @@ let project = project.flake'.variants.profiled; }; - common-haskell-packages = { + exposed-haskell-packages = { plutus-core-test = project.flake'.packages."plutus-core:test:plutus-core-test"; plutus-ir-test = project.flake'.packages."plutus-core:test:plutus-ir-test"; cardano-constitution-test = project.flake'.packages."cardano-constitution:test:cardano-constitution-test"; # editorconfig-checker-disable-line + cost-model-budgeting-bench = project.flake'.packages."plutus-core:exe:cost-model-budgeting-bench"; # editorconfig-checker-disable-line }; static-haskell-packages = { @@ -80,7 +81,7 @@ let }; packages = - common-haskell-packages // + exposed-haskell-packages // static-haskell-packages // extra-artifacts; @@ -121,7 +122,7 @@ let inherit build-latex; inherit extra-artifacts; inherit static-haskell-packages; - inherit common-haskell-packages; + inherit exposed-haskell-packages; inherit flattened-ci-jobs; inherit nested-ci-jobs; };