Mirror ubuntu:24.04 on ghcr

2026-04-26 13:01:27 +03:00 · 2025-12-09 11:30:03 +01:00
parent 03d7ad7dd6
commit 75df299225
1 changed files with 2 additions and 0 deletions
@@ -55,6 +55,8 @@ jobs:
          images=(
            # Mirrored because used by the tidy job, which doesn't cache Docker images
            "ubuntu:22.04"
+            # Mirrored because used by x86-64-gnu-miri
+            "ubuntu:24.04"
            # Mirrored because used by all linux CI jobs, including tidy
            "moby/buildkit:buildx-stable-1"
            # Mirrored because used when CI is running inside a Docker container