gh: Checkout sv-comp patch to special branch.

trailofbits · Apr 8, 2024 · 4b50d97 · 4b50d97
1 parent 87dd1ae
commit 4b50d97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/svcomp.yml b/.github/workflows/svcomp.yml
@@ -98,7 +98,7 @@ jobs:
        uses: actions/checkout@v4
        with:
         repository: trailofbits/sv-bench-patch
-        ref: main
+        ref: ci-version
         path: sv-bench-patch
         fetch-depth: 1