diff options
Diffstat (limited to '.github/workflows/deploy-doc.yml')
-rw-r--r-- | .github/workflows/deploy-doc.yml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index 4175143..d3c710a 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -16,12 +16,10 @@ jobs: with: name: buchstabensuppe authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' - # permission change taken from curry-club-augsburg.de - name: Build web output run: | - nix-build doc/web.nix - cp -RL result tmp - chmod -R +w tmp + nix-build -A deploy doc/web.nix + ./result -w tmp - name: Deploy output to GitHub Pages uses: JamesIves/github-pages-deploy-action@3.7.1 with: |