From 2a658def01e28225685cab3e6d5658d7bd004206 Mon Sep 17 00:00:00 2001 From: Marc Herbert Date: Mon, 10 Jul 2023 16:46:55 -0700 Subject: [PATCH] .github: upgrade "lax" build from Ubuntu 20.04 to 22.04 Ubuntu 20.04 is old, we don't want to hear about it. Signed-off-by: Marc Herbert --- .github/workflows/pull-request.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml index f10d87ff..6586ba61 100755 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/pull-request.yml @@ -32,7 +32,7 @@ jobs: supported-reqs: name: 'Supported scripts/requirements.txt' - runs-on: ubuntu-20.04 + runs-on: ubuntu-22.04 steps: - uses: actions/checkout@v3 @@ -81,7 +81,7 @@ jobs: deploy: needs: supported-reqs - runs-on: ubuntu-20.04 + runs-on: ubuntu-22.04 if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/publish' }} steps: # download the build result from the same workflow