Skip to content

Commit

Permalink
Update documentation workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
boxanm committed May 7, 2024
1 parent 91d16d0 commit 1b60e68
Showing 1 changed file with 3 additions and 9 deletions.
12 changes: 3 additions & 9 deletions .github/workflows/update_documentation.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -33,13 +33,7 @@ jobs:
make doc
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
uses: JamesIves/github-pages-deploy-action@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build/doc/html # Directory containing the HTML documentation
if: ${{ github.event.release.tag_name }}
destination_dir: ./releases/${{ github.event.release.tag_name }}
keep_files: false
commit_message: Release ${{ github.event.release.tag_name }}


folder: ./build/doc
branch: gh-pages

0 comments on commit 1b60e68

Please sign in to comment.