Closed
Description
To prevent that changes can break the Docker build unnoticed (like #1591 recently did), run the Docker build as part of the PR checks. This requires changing the Docker build workflow so that it can dry-run without pushing the images.