cifuzz: fuzz the master branch on push

Apart from running CIFuzz for each relevant PR, let's run it
unconditionally for each push to master to detect possible issues
(caused by ignored PRs, etc.).

Followup to 94f660a8fe6144b9153c8acaf9e6bb9e47e14b97.

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0661e493e85d5eaaa69e77b3caef53c3dac83bb9..85a5db5706245854fe100f16b1f05b5f9862823c 100644 (file)
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -12,6 +12,9 @@ on:
       - 'src/**'
       - 'test/fuzz/**'
       - 'tools/oss-fuzz.sh'
+  push:
+    branches:
+      - master
 jobs:
  Fuzzing:
    runs-on: ubuntu-latest