From 8c1aa8aa61c8d8a76f54d5d40155bbbb8d027b32 Mon Sep 17 00:00:00 2001 From: Gerard Marull-Paretas Date: Fri, 18 Nov 2022 13:07:01 +0100 Subject: [PATCH] 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 --- .github/workflows/doc-build.yml | 2 +- .github/workflows/doc-publish-pr.yml | 2 +- .github/workflows/doc-publish.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index d9e3561737f..62321e3e89c 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -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 }} diff --git a/.github/workflows/doc-publish-pr.yml b/.github/workflows/doc-publish-pr.yml index ed0e63f1b08..15dbd5fb8ad 100644 --- a/.github/workflows/doc-publish-pr.yml +++ b/.github/workflows/doc-publish-pr.yml @@ -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' && diff --git a/.github/workflows/doc-publish.yml b/.github/workflows/doc-publish.yml index 9181855b731..f08bdf2f28d 100644 --- a/.github/workflows/doc-publish.yml +++ b/.github/workflows/doc-publish.yml @@ -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' &&