3 commits

Author	SHA1	Message	Date
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
Eberhard Beilharz	33fe775aa7	maint(developer): use docker buildx to build docker images ... This change verifies that `docker buildx` is available and then uses that for building the images. For that we apparently need the magic line at the top of the `Dockerfile`s and set the environment variable `DOCKER_BUILDKIT`. This solves a problem building docker images on Linux with an older Docker version where the heredocs didn't work.	2025-06-06 18:10:53 +02:00
Eberhard Beilharz	ea8eea1cfa	maint(developer): add docker image to build developer node modules ... Also update build documentation. Fixes: #14045 Test-bot: skip	2025-05-27 18:17:16 +02:00