diff options
| author | Andrew Morgan <andrew@amorgan.xyz> | 2024-01-26 13:31:17 -0700 |
|---|---|---|
| committer | Andrew Morgan <andrew@amorgan.xyz> | 2024-01-26 13:31:23 -0700 |
| commit | dfb5598c45895038326f8bb0930e994e08dfee74 (patch) | |
| tree | 0b70473af0e6715e2da6cf49c1ef4e4febb8f165 /.github/workflows | |
| parent | Pin Python version in dev-docs CI to 3.11 (diff) | |
| download | synapse-dfb5598c45895038326f8bb0930e994e08dfee74.tar.xz | |
temporarily build docs on PRs, but don't deploy
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/docs.yaml | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 6ebc590e46..c97a408105 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -9,6 +9,7 @@ on: - 'release-v*' # stable docs - master + pull_request: workflow_dispatch: @@ -79,12 +80,12 @@ jobs: cp book/welcome_and_overview.html book/index.html # Deploy to the target directory. - - name: Deploy to gh pages - uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./book - destination_dir: ./${{ needs.pre.outputs.branch-version }} +# - name: Deploy to gh pages +# uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3 +# with: +# github_token: ${{ secrets.GITHUB_TOKEN }} +# publish_dir: ./book +# destination_dir: ./${{ needs.pre.outputs.branch-version }} ################################################################################ pages-devdocs: @@ -109,9 +110,9 @@ jobs: poetry run make html # Deploy to the target directory. - - name: Deploy to gh pages - uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./dev-docs/_build/html - destination_dir: ./dev-docs/${{ needs.pre.outputs.branch-version }} +# - name: Deploy to gh pages +# uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3 +# with: +# github_token: ${{ secrets.GITHUB_TOKEN }} +# publish_dir: ./dev-docs/_build/html +# destination_dir: ./dev-docs/${{ needs.pre.outputs.branch-version }} |