diff --git a/.github/workflows/doxygen2.yml b/.github/workflows/doxygen2.yml index b2f5c1c7dc..a49a993dff 100644 --- a/.github/workflows/doxygen2.yml +++ b/.github/workflows/doxygen2.yml @@ -34,6 +34,16 @@ jobs: with: doxyfile-path: docs/Doxyfile + - name: Deploy + uses: peaceiris/actions-gh-pages@v3 + # If you're changing the branch from main, + # also change the `main` in `refs/heads/main` + # below accordingly. + if: github.ref == 'refs/heads/test/is_benchark_erased' + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: . + - name: Deploy uses: peaceiris/actions-gh-pages@v3 # If you're changing the branch from main,