From 856c8a49ce961db895fe40a605ef992cc632f5d4 Mon Sep 17 00:00:00 2001 From: Robert Konicar Date: Tue, 23 Apr 2024 13:14:32 +0200 Subject: [PATCH] gh: Fix repostiory path in sv-comp evaluator. --- .github/workflows/prerelease.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/prerelease.yml b/.github/workflows/prerelease.yml index 0af3f14002..1e4a0c66b4 100644 --- a/.github/workflows/prerelease.yml +++ b/.github/workflows/prerelease.yml @@ -261,7 +261,7 @@ jobs: repository: trailofbits/sv-bench-patch sparse-checkout: make_table.py ref: ci-version - path: llvm-test-suite + path: sv-bench-patch fetch-depth: 1 - name: Generate the results