f

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