From a0b5bd0b689a54cafb6718a1b5d047bee7f67ac3 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@pi2.network>
Date: Fri, 16 Aug 2024 11:18:19 -0500
Subject: [PATCH] fix distro

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

diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
index 94dd522..ea1d451 100644
--- a/.github/workflows/Dockerfile
+++ b/.github/workflows/Dockerfile
@@ -1,5 +1,5 @@
 ARG K_VERSION
-FROM runtimeverificationinc/kframework-k:ubuntu-noble-${K_VERSION}
+FROM runtimeverificationinc/kframework-k:ubuntu-jammy-${K_VERSION}
 
 ARG USER=user
 ARG GROUP