spiegel-keyman/resources/docker-images/developer
Markus Greiner 4e6ca0d332 maint: add registry usage for Docker images
It is now possible to keep the Docker images for building and testing
in a Docker container registry.
This is the first part of changes for #13954. The GitHub actions part is
missing.

Fixes: #13954
Test-bot: skip
Build-bot: skip
2025-08-29 21:53:00 +02:00
..
Dockerfile maint: add registry usage for Docker images 2025-08-29 21:53:00 +02:00