From 4e67cd089dc6a43895becfca94b4b6058e122176 Mon Sep 17 00:00:00 2001
From: Kevin Morio <kevin.morio@cispa.de>
Date: Tue, 5 Dec 2023 12:00:56 +0100
Subject: [PATCH] Archive case studies of CI run as artifact (#608)

* Archive case studies as artifact in action

* Run archive action when case studies fail

* Add verbose output to regression tests

* Remove case-studies-regression from artifact

* Change name of archive action
---
 .github/workflows/tamarin-integration-test.yaml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/tamarin-integration-test.yaml b/.github/workflows/tamarin-integration-test.yaml
index 35c747a1a..fde214421 100644
--- a/.github/workflows/tamarin-integration-test.yaml
+++ b/.github/workflows/tamarin-integration-test.yaml
@@ -75,4 +75,11 @@ jobs:
       - name: Regression tests
         run: |
           tamarin-prover test
-          python3 regressionTests.py -noi
+          python3 regressionTests.py -v 6 -noi
+
+      - name: Store case studies as artifact
+        if: success() || failure()
+        uses: actions/upload-artifact@v3
+        with:
+          name: case-studies
+          path: case-studies