diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-02-18 13:57:38 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-02-18 13:58:01 +0100 |
| commit | 9bc03adbba5334663901c1136203bc07e4776be9 (patch) | |
| tree | c5bb5bf9b716a0fef068ea41b92a91569e4a029a /.github | |
| parent | 50e3840f14c9653568cd66ce610baec36534bc10 (diff) | |
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.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions