Rename mingw-* CI jobs to pr-*

This commit is contained in:
Chris Denton
2025-07-01 18:47:50 +00:00
parent 4e97337005
commit 62949cd2d6
16 changed files with 80 additions and 81 deletions
+2 -2
View File
@@ -53,9 +53,9 @@ jobs:
run: |
# List of DockerHub images to mirror to ghcr.io
images=(
# Mirrored because used by the mingw-check-tidy, which doesn't cache Docker images
# Mirrored because used by pr-check-tidy, which doesn't cache Docker images
"ubuntu:22.04"
# Mirrored because used by all linux CI jobs, including mingw-check-tidy
# Mirrored because used by all linux CI jobs, including pr-check-tidy
"moby/buildkit:buildx-stable-1"
# Mirrored because used when CI is running inside a Docker container
"alpine:3.4"