[ci] switch CI runner from Ubuntu 20.04 to 22.04

Signed-off-by: Gary Guo <gary.guo@lowrisc.org>
This commit is contained in:
Gary Guo 2025-02-19 13:35:45 +00:00
parent eba210965a
commit 9e99ec79e2
2 changed files with 2 additions and 2 deletions

View file

@ -25,7 +25,7 @@ on:
jobs: jobs:
lint_dv: lint_dv:
name: Run quality checks (Lint and DV) name: Run quality checks (Lint and DV)
runs-on: ubuntu-20.04 runs-on: ubuntu-22.04
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
with: with:

View file

@ -26,7 +26,7 @@ if [ -z "$GITHUB_ACTIONS" ]; then
fi fi
case "$ID-$VERSION_ID" in case "$ID-$VERSION_ID" in
ubuntu-16.04|ubuntu-18.04|ubuntu-20.04) ubuntu-20.04|ubuntu-22.04)
# Curl must be available to get the repo key below. # Curl must be available to get the repo key below.
$SUDO_CMD apt-get update $SUDO_CMD apt-get update
$SUDO_CMD apt-get install -y curl $SUDO_CMD apt-get install -y curl