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