From d31b27f5615048137040e3006df52a00efcab38a Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Fri, 11 Aug 2023 16:42:53 -0700
Subject: [PATCH] ci: don't fetch submodules for test-external

---
 .github/workflows/test-external.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
index a4cc69e0..92d27d64 100644
--- a/.github/workflows/test-external.yml
+++ b/.github/workflows/test-external.yml
@@ -40,7 +40,8 @@ jobs:
         uses: actions/checkout@v3
         with:
           path: halmos
-          submodules: recursive
+          # we won't be needing tests/lib for this workflow
+          submodules: false
 
       - name: Checkout external repo
         uses: actions/checkout@v3