IntersectMBO · zeme-wana · Feb 4, 2025 · Jan 16, 2025 · Jan 16, 2025 · Jan 16, 2025
diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml
@@ -66,7 +66,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
@@ -37,7 +37,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/flake.lock b/flake.lock