diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index 0c6b0eb4c84..a9ec1a8a0d3 100644 --- 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/github-pages-deploy-action@v4.6.1