chore: do not fail in case some test cases time out (#917)

opencompl · Dec 26, 2024 · ed24b20 · ed24b20
1 parent 8eb7eaa
commit ed24b20
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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