ci: don't fetch submodules for test-external

a16z · Aug 11, 2023 · d31b27f · d31b27f
1 parent cd0476a
commit d31b27f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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