f

Julow · Oct 7, 2024 · d41ea40 · d41ea40
1 parent b81bd80
commit d41ea40
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/driver.yml b/.github/workflows/driver.yml
@@ -18,7 +18,8 @@ jobs:
     steps:
       # Clone the project
       - uses: actions/checkout@v4
-        submodules: true
+        with:
+          submodules: true
 
       # Setup
       - name: Setup OCaml ${{ matrix.ocaml-version }}