diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build-docs.yaml index fe9055eda..bdcd6bc89 100644 --- a/.github/workflows/build-docs.yaml +++ b/.github/workflows/build-docs.yaml @@ -41,6 +41,7 @@ jobs: run: | cd docs make quartodoc + # TODO-barret add make step to update signatures? - name: Build site run: | @@ -53,15 +54,14 @@ jobs: with: path: "docs/_site" - deploy: if: github.ref == 'refs/heads/main' needs: build # Grant GITHUB_TOKEN the permissions required to make a Pages deployment permissions: - pages: write # to deploy to Pages - id-token: write # to verify the deployment originates from an appropriate source + pages: write # to deploy to Pages + id-token: write # to verify the deployment originates from an appropriate source # Deploy to the github-pages environment environment: