From 6cb25e557b94538148a7a9b45e09dd361a77e62d Mon Sep 17 00:00:00 2001
From: Robert Sachunsky <sachunsky@informatik.uni-leipzig.de>
Date: Fri, 24 May 2024 14:11:44 +0000
Subject: [PATCH] CircleCI: also upload ocrd-all-tool.json

---
 .circleci/config.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 1a5beec3..75cd0db6 100644
--- 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...