chris/ruwuma
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ci: Build docs for PRs

Browse Source
This commit is contained in:
Jonas Platte 2021-07-02 19:33:28 +02:00
parent 0da5151c94
commit 082b561178
No known key found for this signature in database
GPG Key ID: 7D261D771D915378
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/docs.yml vendored
View File

@ -3,6 +3,8 @@ name: Documentation
on: on:
push: push:
branches: [next] branches: [next]
pull_request:
branches: [main, next]
jobs: jobs:
build-deploy: build-deploy:
@ -26,7 +28,8 @@ jobs:
command: doc command: doc
args: --no-deps --workspace --exclude ruma-api-macros --exclude ruma-events-macros --exclude ruma-identifiers-macros --exclude ruma-identifiers-validation --exclude xtask --all-features -Zrustdoc-map args: --no-deps --workspace --exclude ruma-api-macros --exclude ruma-events-macros --exclude ruma-identifiers-macros --exclude ruma-identifiers-validation --exclude xtask --all-features -Zrustdoc-map
- name: Deploy to docs branch - name: Deploy to docs branch
uses: JamesIves/github-pages-deploy-action@4.1.0 if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
uses: JamesIves/github-pages-deploy-action@4.1.4
with: with:
branch: docs branch: docs
folder: target/doc folder: target/doc