From c8aa33fb4fb55b7fa09da3f2fd337df5662e1560 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Tue, 19 Dec 2023 09:49:03 +0100
Subject: [PATCH] Upload logs on failure

---
 .github/workflows/continuous_integration.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
index 2e6eb005..cdcdc228 100644
--- a/.github/workflows/continuous_integration.yml
+++ b/.github/workflows/continuous_integration.yml
@@ -37,6 +37,16 @@ jobs:
       run: test -d "logs"
     - run: cargo test --all
 
+    # Failure
+    - run: tar -cjf failing_logs.tar.bz2 logs/
+      if: failure()
+    - uses: actions/upload-artifact@v3.1.2
+      if: failure()
+      with:
+        name: "logs_z3_v${{ matrix.z3version }}"
+        path: failing_logs.tar.bz2
+
+
   generate_log:
     # only run this job on push to main branch
     if: (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'workflow_dispatch'