fix: Fix certora config

aave · Feb 16, 2024 · 248ca80 · 248ca80
1 parent f5a1bc4
commit 248ca80
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/certora-gsm.yml b/.github/workflows/certora-gsm.yml
@@ -15,7 +15,10 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v2
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          submodules: recursive
 
       - name: Check key
         env: