From 1732c05ef6b75fd18ce5161d099f0d73e7fcb6a3 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 19 Dec 2024 17:29:35 +1100 Subject: [PATCH] github: pin Ubuntu 22.04 for deployment step Python 3.12 in Ubuntu 24.04 has incompatible packages. Signed-off-by: Gerwin Klein --- .github/workflows/preprocess-deploy.yml | 2 +- .github/workflows/sel4test-deploy.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/preprocess-deploy.yml b/.github/workflows/preprocess-deploy.yml index c1057ba56..d02721fcb 100644 --- a/.github/workflows/preprocess-deploy.yml +++ b/.github/workflows/preprocess-deploy.yml @@ -41,7 +41,7 @@ jobs: name: Deploy manifest needs: [code, preprocess] if: ${{ github.repository_owner == 'seL4' }} - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 steps: - uses: seL4/ci-actions/l4v-deploy@master with: diff --git a/.github/workflows/sel4test-deploy.yml b/.github/workflows/sel4test-deploy.yml index 90424de04..69b1b5a48 100644 --- a/.github/workflows/sel4test-deploy.yml +++ b/.github/workflows/sel4test-deploy.yml @@ -112,7 +112,7 @@ jobs: deploy: name: Deploy manifest if: ${{ github.repository_owner == 'seL4' }} - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 needs: [code, hw-run] steps: - name: Deploy