Use JamesIves/github-pages-deploy-action

With Ubuntu 20.04, doxygen 1.8.17 is used. Before it was using 1.8.13.
This commit is contained in:
Crayon2000 2020-10-16 21:36:22 -04:00
parent 504be4ba4d
commit 346108b8a5

View file

@ -9,7 +9,7 @@ jobs:
doc:
name: Deploy documentation
runs-on: ubuntu-latest
runs-on: ubuntu-20.04
steps:
@ -29,7 +29,8 @@ jobs:
mv latex/refman.pdf doc/PDF-documentation.pdf
- name: Deploy to GitHub Pages
uses: maxheld83/ghpages@v0.3.0
env:
BUILD_DIR: ./doc
GH_PAT: ${{ secrets.GH_PAT }}
uses: JamesIves/github-pages-deploy-action@3.6.2
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: doc