Add missing recursive for Certora CI file

makerdao · Aug 27, 2024 · 7a494ab · 7a494ab
1 parent f9da49f
commit 7a494ab
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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: