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