github: pin Ubuntu 22.04 for deployment step

Python 3.12 in Ubuntu 24.04 has incompatible packages. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Dec 19, 2024 · 713e964 · 713e964
1 parent 0594cd5
commit 713e964
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml
@@ -109,7 +109,7 @@ jobs:
   deploy:
     name: Deploy
     if: ${{ github.repository_owner == 'seL4' }}
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     needs: [code, hw-run]
     steps:
     - name: Deploy manifest