wip

IntersectMBO · Jan 29, 2025 · 914825d · 914825d
1 parent 9fdef5e
commit 914825d
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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;
   };