chore: submodules in CI

imandra-ai · Feb 26, 2024 · 2bc7cb2 · 2bc7cb2
1 parent 640a78b
commit 2bc7cb2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -25,6 +25,9 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@main
+        with:
+          submodules:
+
       - name: Use OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v2
         with: