Browse Source
💚 Only build docs on push when on master to avoid duplicate runs from PRs (#4564)
pull/4567/head
Sebastián Ramírez
3 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
2 additions and
0 deletions
-
.github/workflows/build-docs.yml
|
|
@ -1,6 +1,8 @@ |
|
|
|
name: Build Docs |
|
|
|
on: |
|
|
|
push: |
|
|
|
branches: |
|
|
|
- master |
|
|
|
pull_request: |
|
|
|
types: [opened, synchronize] |
|
|
|
jobs: |
|
|
|