From a0dca6b570f94e876ff43701744afe4409c5ba3b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 17 Jan 2026 05:20:24 -0800
Subject: [PATCH] Change container image from ubuntu:jammy to ubuntu:noble

---
 .github/workflows/cross-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/cross-build.yml b/.github/workflows/cross-build.yml
index d701d15d3..c8fc6ac37 100644
--- a/.github/workflows/cross-build.yml
+++ b/.github/workflows/cross-build.yml
@@ -11,7 +11,7 @@ permissions:
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: ubuntu:jammy
+    container: ubuntu:noble
 
     strategy:
       fail-fast: false