| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-02-18 | Integrate push-docker.sh into the release script | Eelco Dolstra | |
| 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 | remove the manifest before creating them | Rok Garbas | |
| 2022-01-26 | fail early | Rok Garbas | |
| 2022-01-26 | typo | Rok Garbas | |
| 2022-01-26 | Script to push docker image for releases | Rok Garbas | |
 |
index : lix | |
| User & |
| aboutsummaryrefslogtreecommitdiff |