Eelco Dolstra 9bc03adbba Integrate push-docker.sh into the release script ...

This also makes sure that we get the Docker images from the same Hydra
eval, rather than the latest build from job/nix/.../dockerImage, which
may not be the same.

2022-02-18 13:58:01 +01:00

..

upload-release.pl

Integrate push-docker.sh into the release script

2022-02-18 13:58:01 +01:00