diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index f106e9dcc..8289d5d49 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -23,7 +23,7 @@ jobs:
           ["verify4337Module.sh", "verifyTransactionExecutionMethods.sh", "verifyValidationData.sh"]
     defaults:
       run:
-        working-directory: ./4337
+        working-directory: ./modules/4337
     steps:
       - uses: actions/checkout@v3
 
diff --git a/.github/workflows/ci_4337.yml b/.github/workflows/ci_4337.yml
index 1cb5fc9f7..0a2140c6b 100644
--- a/.github/workflows/ci_4337.yml
+++ b/.github/workflows/ci_4337.yml
@@ -26,7 +26,7 @@ jobs:
     runs-on: ubuntu-latest
     defaults:
       run:
-        working-directory: ./4337
+        working-directory: ./modules/4337
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v3
diff --git a/.github/workflows/ci_4337_gas_metering.yml b/.github/workflows/ci_4337_gas_metering.yml
index d7199983e..a34134659 100644
--- a/.github/workflows/ci_4337_gas_metering.yml
+++ b/.github/workflows/ci_4337_gas_metering.yml
@@ -6,7 +6,7 @@ jobs:
     runs-on: ubuntu-latest
     defaults:
       run:
-        working-directory: ./moudles/4337-gas-metering
+        working-directory: ./modules/4337-gas-metering
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v3