diff options
author | Matias Elo <matias.elo@nokia.com> | 2021-09-23 08:32:55 +0300 |
---|---|---|
committer | Petri Savolainen <petri.savolainen@nokia.com> | 2021-09-29 10:26:26 +0300 |
commit | e9e646a1b22cacd8f49ad3009a9b4f854ac6e125 (patch) | |
tree | dd8f6826c1a7e46ca9f2c6884c75013c19c3ecfe /.github | |
parent | e108b53c8d3138151257bebfd918305cc7479b73 (diff) |
github_ci: update gh pages build workflow
Run documentation build job on Ubuntu 20.04, which includes a newer Doxygen
version. This may reveal new warnings/errors. For ghaction-github-pages
action use v2 tag, which maps to the latest release version in v2 branch.
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Jere Leppänen <jere.leppanen@nokia.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/gh-pages.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 4b242d94f..d8656d250 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -7,7 +7,7 @@ on: jobs: Documentation: - runs-on: ubuntu-18.04 + runs-on: ubuntu-20.04 steps: - uses: actions/checkout@v2 - name: Install dependencies @@ -44,7 +44,7 @@ jobs: - name: Deploy env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - uses: crazy-max/ghaction-github-pages@v2.2.0 + uses: crazy-max/ghaction-github-pages@v2 with: allow_empty_commit: false build_dir: ./doc/gh-pages |