Revert previous changes to workflow

Author: Nikolas Rank

.github/workflows/main.yml

@@ -35,11 +35,6 @@ jobs:
         run: |
           python3 -m pip install --upgrade pip
           pip install -r tests/dev.arcovia.mitigation.ranking.tests/scripts/uncertaintyRanking/requirements.txt
-      - name: Cache Z3 download/extract
-        uses: actions/cache@v4
-        with:
-          path: .z3
-          key: z3-${{ runner.os }}-${{ env.Z3_VER }}-${{ env.Z3_ARCH }}-glibc-${{ env.Z3_GLIBC }}
       - name: Download Z3 and copy jar and natives
         shell: bash
         run: |
@@ -48,25 +43,18 @@ jobs:
 
           Z3_URL="https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VER}/z3-${Z3_VER}-${Z3_ARCH}-glibc-${Z3_GLIBC}.zip"
           
+          echo "Downloading $Z3_URL"
           mkdir -p .z3
-
-          # Download only if missing from cache
-          if [ ! -f .z3/z3.zip ]; then
-            echo "Downloading Z3..."
-            curl -L --fail --retry 3 -o .z3/z3.zip "$Z3_URL"
-          else
-            echo "Using cached .z3/z3.zip"
-          fi      
-
+          curl -L -o .z3/z3.zip "$Z3_URL"
+          unzip -q .z3/z3.zip -d .z3
+      
+          # Locate extracted bin directory
           BIN_DIR="$(find .z3 -type d -name bin -print -quit)"
-          # Extract only if bin dir not cached
-          if ! find .z3 -type d -name bin -print -quit | grep -q .; then
-            echo "Extracting Z3..."
-            unzip -q .z3/z3.zip -d .z3
-          else
-            echo "Using cached extraction"
+          if [ -z "$BIN_DIR" ]; then
+            echo "ERROR: Could not find bin directory"
+            exit 1
           fi
-
+        
           # Copy Java jar
           if [ ! -f "$BIN_DIR/com.microsoft.z3.jar" ]; then
             echo "ERROR: com.microsoft.z3.jar not found"