Rename Theta to theta in downloaded zip

ftsrg · Jan 7, 2024 · b96a7cf · b96a7cf
1 parent f090743
commit b96a7cf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
@@ -32,6 +32,7 @@ runs:
       run: |
         wget https://github.com/ftsrg/theta/releases/download/svcomp24/theta.zip
         unzip theta.zip
+        mv Theta theta
     - uses: actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a # v3.0.2
       name: Get JAR
       with: