diff --git a/.github/workflows/doc.yaml b/.github/workflows/doc.yaml index 8e84f445f696fa4200f1c23b32430772796e30d6..4d5e246af1db65c7fc5255db10d5fc454717abca 100644 --- a/.github/workflows/doc.yaml +++ b/.github/workflows/doc.yaml @@ -19,3 +19,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} + - run: julia --project=docs docs/make.jl + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}