From d41ea40cfcf1dce52bed9a19c5d176fe00b4ed1a Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Mon, 7 Oct 2024 16:40:53 +0200
Subject: [PATCH] f

---
 .github/workflows/driver.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/driver.yml b/.github/workflows/driver.yml
index 1be12b3092..4f85e078af 100644
--- 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 }}