diff options
Diffstat (limited to '.github/workflows/deploy-doc.yml')
-rw-r--r-- | .github/workflows/deploy-doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index 4e4eb33..32edf46 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -21,7 +21,7 @@ jobs: nix-build -A deploy doc/web.nix ./result -w tmp - name: Deploy output to GitHub Pages - uses: JamesIves/github-pages-deploy-action@4.2.5 + uses: JamesIves/github-pages-deploy-action@v4.2.5 with: branch: gh-pages clean: true |