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