Repository navigation

ci: pull CI and base images from a GHCR mirror instead of Docker Hub - #801

Merged

ValentinKolb merged 5 commits into

mainfrom

ci/ghcr-image-mirror

Oct 10, 2026

Merged

ci: pull CI and base images from a GHCR mirror instead of Docker Hub#801
ValentinKolb merged 5 commits into
mainfrom
ci/ghcr-image-mirror

Commits on Oct 9, 2026
- ci: pull CI and base images from a GHCR mirror instead of Docker Hub
  ValentinKolb
  committed
  c7e8f1b
- ci: close the remaining Docker Hub pulls and make the mirror job retry
  ValentinKolb
  committed
  567282c
Commits on Oct 10, 2026
- Merge remote-tracking branch 'origin/main' into ci/ghcr-image-mirror
  ValentinKolb
  committed
  6bc2b93
- ci: pull the Poppler image from the GHCR mirror too
  ValentinKolb
  committed
  a5abf2f
- docs: date the changed CI pages today
  ValentinKolb
  committed
  1dfe154