From 8927dbe83a91e6b4d483f7da383e5d90e0f197d2 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Thu, 19 Dec 2024 17:39:47 +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 <gerwin.klein@proofcraft.systems>
---
 .github/workflows/sel4bench.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml
index 22c4fcb6..26e2cb90 100644
--- 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