CircleCI: adapt to staged dockers

bertsky · May 24, 2024 · ec34020 · ec34020
1 parent 58f1f32
commit ec34020
Showing 1 changed file with 14 additions and 1 deletion.
diff --git 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