Rodrigo Mesquita pushed to branch wip/romes/26202 at Glasgow Haskell Compiler / GHC

WARNING: The push did not contain any new commits, but force pushed to delete the commits and changes below.

Deleted commits:

• 15d7862e
  by Rodrigo Mesquita at 2025-08-12T13:29:22+00:00

  Update DOCKER_REV to !14579
  

1 changed file:

• .gitlab-ci.yml

Changes:

   GIT_SSL_NO_VERIFY: "1"

   # Commit of ghc/ci-images repository from which to pull Docker images

-  DOCKER_REV: 6e9f8f17086e56e83adae4a8a9d63e2fec3cb6c7

+  DOCKER_REV: 73494a0823156dea9d3ef39e98dab1d5ccb30e15

   # Sequential version number of all cached things.

   # Bump to invalidate GitLab CI cache.