.github/manual: Fix github-pages-deploy-action version tag

This commit is contained in:
Zhaofeng Li 2022-07-29 22:13:09 -07:00
parent 5d2f128515
commit e82993a83e

View file

@ -36,7 +36,7 @@ jobs:
run: nix build .#manual -L run: nix build .#manual -L
- name: Deploy manual - name: Deploy manual
uses: JamesIves/github-pages-deploy-action@4.3.4 uses: JamesIves/github-pages-deploy-action@v4.3.4
with: with:
branch: gh-pages branch: gh-pages
folder: result folder: result