From d2613479879c6153aae8589a65c9628f83f0a5b6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 18 Mar 2022 11:53:43 -0400 Subject: [PATCH] ci --- .github/workflows/gh-pages.yml | 2 ++ 1 file changed, 2 insertions(+) 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