diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 91af9ca34..75f363b7c 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -52,7 +52,7 @@ jobs: -M html Documentation HARK-docs -T -W - -j auto + -j 1 - name: Set up git for deployment run: |