Skip to content

Commit

Permalink
deploy action should only run on the main branch
Browse files Browse the repository at this point in the history
And should be updated to vefsion 4 to work with new GH security changes
  • Loading branch information
mseri authored Nov 18, 2024
1 parent d78996b commit 926ea16
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,8 @@ jobs:
opam exec -- dune build @doc
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
uses: peaceiris/actions-gh-pages@v4
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/default/_doc/_html
Expand Down

0 comments on commit 926ea16

Please sign in to comment.