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