From eab49da2742e160a24c05719dadd91f80d6c14f5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 14 Nov 2024 20:49:33 -0800
Subject: [PATCH] Update pyodide.yml

switch to ubuntu 24
---
 .github/workflows/pyodide.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
index 0aee05a0c..a9c765352 100644
--- a/.github/workflows/pyodide.yml
+++ b/.github/workflows/pyodide.yml
@@ -12,7 +12,7 @@ permissions:
 
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
 
     strategy:
       fail-fast: false