From 2f2fb9db13d213b60ea2a026c493a6b89a9c5646 Mon Sep 17 00:00:00 2001
From: Robert Konicar <robert.konicar@trailofbits.com>
Date: Tue, 23 Apr 2024 10:11:27 +0200
Subject: [PATCH] gh: Disable llvm run of sv-comp due to time limit.

---
 .github/workflows/prerelease.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/prerelease.yml b/.github/workflows/prerelease.yml
index 977d24fc1b..0af3f14002 100644
--- a/.github/workflows/prerelease.yml
+++ b/.github/workflows/prerelease.yml
@@ -195,10 +195,10 @@ jobs:
       matrix:
         llvm-version: [17]
         image-version: [22.04]
-        vast-target: ['hl', 'llvm']
+        vast-target: ['hl']
 
     runs-on: ubuntu-${{ matrix.image-version }}
-    timeout-minutes: 720
+    timeout-minutes: 360
     container:
       image:
         ghcr.io/trailofbits/vast-ubuntu-${{ matrix.image-version }}-llvm-${{ matrix.llvm-version }}-dev:latest
@@ -267,8 +267,8 @@ jobs:
       - name: Generate the results
         run: |
           python3 sv-bench-patch/make_table.py \
-            --columns HighLevel,LLVM-IR \
-            --files results-sv-hl/results.txt,results-sv-llvm/results.txt \
+            --columns HighLevel \
+            --files results-sv-hl/results.txt \
             --output sv-comp-results
 
       - name: Post results as artifacts