From a114ab63737e477c751845c32d3a2344d90098f0 Mon Sep 17 00:00:00 2001
From: Frantisek Sumsal <frantisek@sumsal.cz>
Date: Fri, 8 May 2020 20:14:19 +0200
Subject: [PATCH] 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.
---
 .github/workflows/main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0661e493e8..85a5db5706 100644
--- 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