fix: install dependencies in CI

morpho-org · Aug 16, 2023 · 9229f3c · 9229f3c
1 parent f201437
commit 9229f3c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -14,6 +14,9 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
+      - name: Install submodules
+        run: git submodule update --init --recursive
+
       - name: Install python
         uses: actions/setup-python@v4
         with: