fix yml

Certora · Sep 23, 2024 · ccabc06 · ccabc06
1 parent 0deedec
commit ccabc06
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/certora.yml → .github/workflows/certora-basic.yml b/.github/workflows/certora.yml → .github/workflows/certora-basic.yml
@@ -49,10 +49,10 @@ jobs:
 
       - name: Verify rule ${{ matrix.rule }}
         run: |
-          cd certora
+          cd certora/basic
           touch applyHarness.patch
           make munged
-          cd ..
+          cd ../..
           echo "key length" ${#CERTORAKEY}
           certoraRun certora/conf/${{ matrix.rule }} --wait_for_results
         env: