Update documentation.yml

bancaditalia · Nov 1, 2024 · b2a0adc · b2a0adc
1 parent 757c563
commit b2a0adc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -35,4 +35,4 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
-        run: julia --project=docs/ docs/make.jl
+        run: julia -t 2 --project=docs/ docs/make.jl