.github: upgrade most runners to latest Ubuntu 22.04

Let's not fall behind.

Ubuntu 22.04 is the latest runner offered by Github:
https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners

Signed-off-by: Marc Herbert <marc.herbert@intel.com>
This commit is contained in:
Marc Herbert 2023-04-28 01:42:32 +00:00 committed by Kai Vehmanen
parent 523fe82732
commit de6690f104
4 changed files with 5 additions and 5 deletions

View File

@ -16,7 +16,7 @@ on: [pull_request]
jobs:
checkpatch:
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
strategy:
fail-fast: false

View File

@ -17,7 +17,7 @@ on: [push, pull_request, workflow_dispatch]
jobs:
checktree:
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
strategy:
fail-fast: false

View File

@ -118,7 +118,7 @@ jobs:
gcc-build-only:
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
strategy:
fail-fast: false
@ -154,7 +154,7 @@ jobs:
# duplication.
qemu-boot-test:
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
strategy:
fail-fast: false

View File

@ -16,7 +16,7 @@ on: [pull_request]
jobs:
main:
runs-on: ubuntu-20.04
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3