Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1118 from OCR-D/circleci-tag-docker
circleci: run deploy only for tagged releases and push only tagged docker images #1092
- Loading branch information