diff options
author | Jay Berkenbilt <ejb@ql.org> | 2020-10-27 23:07:56 +0100 |
---|---|---|
committer | Jay Berkenbilt <ejb@ql.org> | 2020-10-27 23:07:56 +0100 |
commit | c5602e931a2fe476f4bd35cf805609a5c73a968b (patch) | |
tree | 65ee7c62512bfe65517cfb9d1ff64736b8845dd3 /.github/workflows | |
parent | 54759cbf6399e53b421c4dbe3d3fc0cb1d655573 (diff) | |
download | qpdf-c5602e931a2fe476f4bd35cf805609a5c73a968b.tar.zst |
Run CI Fuzz integration on push as well as pull request
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/cifuzz.yml | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/.github/workflows/cifuzz.yml b/.github/workflows/cifuzz.yml index 115b3fa2..d05c783e 100644 --- a/.github/workflows/cifuzz.yml +++ b/.github/workflows/cifuzz.yml @@ -1,5 +1,16 @@ name: CIFuzz -on: [pull_request] +on: + push: + branches: + - main + - master + - build + - build/* + paths-ignore: + - 'ChangeLog' + - 'README*' + - 'TODO' + pull_request: jobs: Fuzzing: runs-on: ubuntu-latest |