wip

IntersectMBO · Jun 20, 2024 · 048eee1 · 048eee1
1 parent 77686f6
commit 048eee1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml
@@ -43,7 +43,8 @@ jobs:
  - name: Build Site
  run: | 
  nix build --accept-flake-config .#plutus-metatheory-site
- cp -RL ./result/* ./_site
+ mkdir _site
+ cp -RL result/* _site
 
  - name: Deploy Site
  uses: JamesIves/[email protected]