fix CI

.github/workflows/certora_4337.yml

@@ -20,20 +20,13 @@ jobs:
     strategy:
       matrix:
         rule: ['verify4337Module.sh', 'verifyTransactionExecutionMethods.sh', 'verifyValidationData.sh']
-    defaults:
-      run:
-        working-directory: ./modules/4337
     steps:
       - uses: actions/checkout@v3
 
       - name: Install python
         uses: actions/setup-python@v4
         with: { python-version: 3.11 }
 
-      - name: Install java
-        uses: actions/setup-java@v3
-        with: { java-version: '17', java-package: jre, distribution: semeru }
-
       - name: Install certora cli
         run: pip install -Iv certora-cli==6.1.3
 
@@ -47,6 +40,7 @@ jobs:
         run: npm ci
 
       - name: Verify rule ${{ matrix.rule }}
+        working-directory: ./modules/4337
         run: |
           echo "key length" ${#CERTORAKEY}
           chmod +x ./certora/scripts/${{ matrix.rule }}