ci: checkout submodules

Author: Atticus Kuhn

.github/workflows/ci.yml

@@ -12,6 +12,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+        with:
+          submodules: recursive
 
       - name: Setup Lean toolchain
         uses: leanprover/lean-action@v1
@@ -26,4 +28,3 @@ jobs:
       - name: Run tests
         run: |
           lake exe sdql-tests
-