diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index b22afbb5..9b476eda 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -11,6 +11,8 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@main + with: + submodules: recursive - name: Use OCaml uses: ocaml/setup-ocaml@v2