Upload logs on failure

viperproject · Dec 19, 2023 · c8aa33f · c8aa33f
1 parent e2844b0
commit c8aa33f
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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/[email protected]
+      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'