diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml index 80bb6c23..ed4aa3c2 100644 --- a/.github/workflows/publish_docs.yml +++ b/.github/workflows/publish_docs.yml @@ -9,6 +9,8 @@ jobs: name: Create the documentation and deploy it to GitHub Pages steps: - uses: actions/checkout@v4 + with: + submodules: recursive - name: Set up Node.js uses: actions/setup-node@v3 with: