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 · 9c7c211 · 9c7c211
1 parent 5dd53c7
commit 9c7c211
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/camkes-deploy.yml b/.github/workflows/camkes-deploy.yml
@@ -109,7 +109,7 @@ jobs:
 
   deploy:
     name: Deploy manifest
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     needs: [code, hw-run]
     steps:
     - name: Deploy