Merge remote-tracking branch 'upstream/develop' into fix-accountabili…

…ty-examples
tamarin-prover · Dec 5, 2023 · 410ce63 · 410ce63
2 parents 26c779f + 4e67cd0
commit 410ce63
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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