Use ubuntu:24.04 for the x86_64-gnu-miri job

Kobzol · Kobzol · commit c98b9b5aefa1 · 2025-12-09T11:31:24.000+01:00
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-miri/Dockerfile b/src/ci/docker/host-x86_64/x86_64-gnu-miri/Dockerfile
@@ -1,4 +1,4 @@
-FROM ghcr.io/rust-lang/ubuntu:22.04
+FROM ubuntu:24.04
 
 ARG DEBIAN_FRONTEND=noninteractive
 RUN apt-get update && apt-get install -y --no-install-recommends \

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM ghcr.io/rust-lang/ubuntu:22.04`
	`1`	`+FROM ubuntu:24.04`
`2`	`2`
`3`	`3`	`ARG DEBIAN_FRONTEND=noninteractive`
`4`	`4`	`RUN apt-get update && apt-get install -y --no-install-recommends \`