diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2021-03-05 22:22:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-05 22:22:56 +0100 |
| commit | 84ad438d15cffd7dca0e67d540cd41946b946bed (patch) | |
| tree | e7c8e5b0140999cd5fae0339f633e05091f08b32 /src | |
| parent | a34519bded8ae45705e7dddf6346008eea88ed39 (diff) | |
Push docker images to DockerHub (#26177)
* CI/CircleCI: Push docker images to DockerHub
Push docker image to DockerHub is DOCKERHUB_PUSH_IMAGES environmental variable is set to "TRUE".
* Build in Release only if pushing the images to dockerhub
* Move branch from repository name to tag name
* Update docker readme
Co-authored-by: Trond B. Krokli <38162891+illfated@users.noreply.github.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions