diff options
Diffstat (limited to '.github/workflows/doc.yml')
| -rw-r--r-- | .github/workflows/doc.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 9431d4f84..9dd708a5c 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -1,5 +1,9 @@ name: 'doc' -on: [push, pull_request] + +on: + push: + pull_request: + jobs: linux: runs-on: ubuntu-latest |