Run CI Fuzz integration on push as well as pull request

2020-10-27 18:07:56 -04:00 · 2020-10-27 18:07:56 -04:00 · c5602e931a
parent 54759cbf63
commit c5602e931a
1 changed files with 12 additions and 1 deletions
--- 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