ci: doc: use Ubuntu 22.04

Use the latest Ubuntu image. There's no special reason for this change
other than staying up-to-date.

Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no>
This commit is contained in:
Gerard Marull-Paretas 2022-11-18 13:07:01 +01:00 committed by Stephanos Ioannidis
parent 61f252fe33
commit 8c1aa8aa61
3 changed files with 3 additions and 3 deletions

View File

@ -35,7 +35,7 @@ env:
jobs:
doc-build-html:
name: "Documentation Build (HTML)"
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
timeout-minutes: 45
concurrency:
group: doc-build-html-${{ github.ref }}

View File

@ -13,7 +13,7 @@ on:
jobs:
doc-publish:
name: Publish Documentation
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
if: |
github.event.workflow_run.event == 'pull_request' &&
github.event.workflow_run.conclusion == 'success' &&

View File

@ -16,7 +16,7 @@ on:
jobs:
doc-publish:
name: Publish Documentation
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
if: |
github.event.workflow_run.event != 'pull_request' &&
github.event.workflow_run.conclusion == 'success' &&