diff options
Diffstat (limited to '.github/workflows/sanitizer.yml')
| -rw-r--r-- | .github/workflows/sanitizer.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.github/workflows/sanitizer.yml b/.github/workflows/sanitizer.yml index e0d9c579..f7c37be3 100644 --- a/.github/workflows/sanitizer.yml +++ b/.github/workflows/sanitizer.yml @@ -1,5 +1,9 @@ name: sanitize -on: [push, pull_request] +on: + push: + paths-ignore: ["docs/**", "**.adoc", "**.md"] + pull_request: + paths-ignore: ["docs/**", "**.adoc", "**.md"] jobs: sanitize: env: @@ -9,8 +13,8 @@ jobs: runs-on: ${{ matrix.os }} strategy: matrix: - sanitizer: [ address, undefined, thread ] - os: [ ubuntu-latest ] + sanitizer: [address, undefined, thread] + os: [ubuntu-latest] steps: - uses: actions/checkout@v1 |