diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index 4e94a17..3338ea8 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -17,6 +17,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v3
+        with:
+          submodules: recursive
       
       - uses: actions/setup-java@v2
         with: