Skip to content

Commit

Permalink
gh: Fix repostiory path in sv-comp evaluator.
Browse files Browse the repository at this point in the history
  • Loading branch information
Jezurko committed Apr 23, 2024
1 parent 00a1bdc commit 856c8a4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/prerelease.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 856c8a4

Please sign in to comment.