3 Commits

Include renames

Author	SHA1	Message	Date
funjoker	992082ebb5	Misc: Update Docker README	2023-05-19 21:50:49 +02:00
Giacomo Pozzoni	68da008b1f	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> (cherry picked from commit 84ad438d15cffd7dca0e67d540cd41946b946bed) (cherry picked from commit 72bb73b2465e34f9c658bd496717f3fbb9be21e5)	2023-05-19 21:38:45 +02:00
Giacomo Pozzoni	3cc50b98a6	CI/CircleCI: Expose binaries built on Circle CI as docker images in the Circle CI artifacts	2021-03-11 10:53:51 +01:00