diff --git a/.circleci/config.yml b/.circleci/config.yml index fb273a20..1a5beec3 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -52,6 +52,19 @@ jobs: command: | docker push ocrd/all:<< parameters.variant >> docker push ocrd/all:<< parameters.variant >>-git + - when: + condition: + equal: [ maximum, << parameters.variant >> ] + steps: + - run: + name: Alias and push intermediate variants + command: | + docker tag ocrd/all:medium ocrd/all:medium-git + docker tag ocrd/all:minimum ocrd/all:minimum-git + docker push ocrd/all:minimum + docker push ocrd/all:minimum-git + docker push ocrd/all:medium + docker push ocrd/all:medium-git - when: condition: equal: [ maximum-cuda, << parameters.variant >> ] @@ -69,7 +82,7 @@ workflows: - deploy: matrix: parameters: - variant: [minimum, medium, maximum, maximum-cuda] + variant: [maximum, maximum-cuda] filters: branches: only: master