Bump ubuntu from 22.04 to 24.04 in /tools/verdict-back-ends

Bumps ubuntu from 22.04 to 24.04. --- updated-dependencies: - dependency-name: ubuntu dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
ge-high-assurance · Apr 26, 2024 · b2df124 · b2df124
1 parent 39bf235
commit b2df124
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/verdict-back-ends/Dockerfile b/tools/verdict-back-ends/Dockerfile
@@ -4,7 +4,7 @@ ARG BUILDKIT_INLINE_CACHE=1
 
 # Base our image on latest ubuntu LTS
 
-FROM ubuntu:22.04
+FROM ubuntu:24.04
 
 # Install packages which are needed by verdict back-end tools
 # (kind2 requires libzmq5 and z3)