diff options
author | ClementTsang <cjhtsang@uwaterloo.ca> | 2021-06-21 22:58:04 -0400 |
---|---|---|
committer | ClementTsang <cjhtsang@uwaterloo.ca> | 2021-06-21 22:58:04 -0400 |
commit | ccc8da281991f3838d7cb5fc2a901d46e9fde693 (patch) | |
tree | b6bfa251b08d192d8c3c1b6a89d55332049602fe /.github | |
parent | f1e2789b262fa852ba43fad63088f356c2b08a88 (diff) |
ci: ignore README and docs for ci action
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d3ee2fba..637eeff7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,9 +9,15 @@ name: ci on: workflow_dispatch: pull_request: + paths-ignore: + - 'README.md' + - 'docs/**' push: branches: - master + paths-ignore: + - 'README.md' + - 'docs/**' jobs: # Check rustfmt |