diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index f96d7c1f..bb3f943d 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -10,7 +10,8 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@main - + with: + submodules: 'recursive' - uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: '5.2' diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6ee99513..cce2c037 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -15,6 +15,8 @@ jobs: runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@main + with: + submodules: 'recursive' - uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} @@ -44,6 +46,8 @@ jobs: runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@main + with: + submodules: 'recursive' - uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }}