diff options
| author |  Héctor Ramón Jiménez <hector@hecrj.dev> | 2023-09-09 20:58:45 +0200 |
|---|---|---|
| committer | Héctor Ramón Jiménez <hector@hecrj.dev> | 2023-09-09 20:58:45 +0200 |
| commit | f60884f6f8639f75258c264bf4a15591351ef05b (patch) | |
| tree | ee0d8c6a8b29c648d9e6312bc8690f38fdf354f3 /.github | |
| parent | 89d9f1d7d2202029028a487df1dd11b0665a7517 (diff) | |
| download | iced-f60884f6f8639f75258c264bf4a15591351ef05b.tar.gz iced-f60884f6f8639f75258c264bf4a15591351ef05b.tar.bz2 iced-f60884f6f8639f75258c264bf4a15591351ef05b.zip | |
Deny `broken_intradoc_links` and verify documentation in CI
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/document.yml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.github/workflows/document.yml b/.github/workflows/document.yml index 09a7a4d5..230c5cb0 100644 --- a/.github/workflows/document.yml +++ b/.github/workflows/document.yml @@ -1,8 +1,5 @@ name: Document -on: - push: - branches: - - master +on: [push, pull_request] jobs: all: runs-on: ubuntu-20.04 @@ -31,6 +28,7 @@ jobs: - name: Write CNAME file run: echo 'docs.iced.rs' > ./target/doc/CNAME - name: Publish documentation + if: github.ref == 'refs/heads/master' uses: peaceiris/actions-gh-pages@v3 with: deploy_key: ${{ secrets.DOCS_DEPLOY_KEY }} |