CircleCI: also upload ocrd-all-tool.json

bertsky · May 24, 2024 · 6cb25e5 · 6cb25e5
1 parent ec34020
commit 6cb25e5
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -10,6 +10,22 @@ jobs:
           name: build image
           command: make docker-maximum-cuda GIT_DEPTH=--single-branch
           no_output_timeout: 30m
+      - run:
+          name: store ocrd-all-tool.json
+          command: |
+            id=`docker create ocrd/all:maximum-cuda`
+	    docker cp $id:/build/ocrd-all-tool.json .
+      - store_artifacts:
+          path: ocrd-all-tool.json
+          destination: artifacts
+      - run:
+          name: store ocrd-all-module-dir.json
+          command: |
+            id=`docker create ocrd/all:maximum-cuda`
+            docker cp $id:/build/ocrd-all-module-dir.json .
+      - store_artifacts:
+          path: ocrd-all-module-dir.json
+          destination: artifacts
       - when:
           # takes too long for 1h1m CircleCI timeout overall
           # also, storage is limited...