From 048eee1bad16ff94a445a74c983c6ad5e147ec9b Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 20 Jun 2024 12:43:30 +0200 Subject: [PATCH] wip --- .github/workflows/metatheory-site.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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