From ce1d49bb7b4a758708ca7ebdcab9aabf58da7cf5 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Thu, 26 Dec 2024 17:59:30 +0100
Subject: [PATCH] chore: do not fail in case some test cases time out

---
 .github/workflows/performance.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/performance.yml b/.github/workflows/performance.yml
index 7618b3513..90ae87ac0 100644
--- a/.github/workflows/performance.yml
+++ b/.github/workflows/performance.yml
@@ -45,9 +45,13 @@ jobs:
           lake -R build
 
       - name: Run LLVM
+        continue-on-error: true
         run: |
           (cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-llvm-sym.py -j128)
-          echo "Symbolic"
+
+      - name: Run LLVM Symbolic
+        continue-on-error: true
+        run: |
           (cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-llvm.py -j128)
 
       - name: Run Alive Symbolic