Updated version in action

ftsrg · Jan 7, 2024 · f090743 · f090743
1 parent 4dcde47
commit f090743
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
@@ -30,7 +30,7 @@ runs:
     - name: Get archive
       shell: bash
       run: |
-        wget https://github.com/ftsrg/theta/releases/download/svcomp23/theta.zip
+        wget https://github.com/ftsrg/theta/releases/download/svcomp24/theta.zip
         unzip theta.zip
     - uses: actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a # v3.0.2
       name: Get JAR