From 884fc24e5ae302064f37fa5803ec430967c4f3d7 Mon Sep 17 00:00:00 2001
From: Rangel Stoilov <rangelstoilov@gmail.com>
Date: Wed, 21 Feb 2024 13:12:09 +0200
Subject: [PATCH] fix: submodules true

---
 .github/workflows/certora.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index 5e5b34b..b6fb5c3 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -17,7 +17,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
-          recursive: true
+          submodules: true
 
       # - name: Install foundry
       #   uses: foundry-rs/foundry-toolchain@v1