Skip to content

Fix docker build, always build docker image, publish it only for a git tag#178

Merged
zdenekdrahos merged 3 commits intomasterfrom fix-docker-build-20190714Jul 14, 2019

Commits

Commits on Jul 14, 2019