From b79010f86e3cb2813fb42f6cd41ac6014c52b49c Mon Sep 17 00:00:00 2001
From: Hans Dembinski <hans.dembinski@gmail.com>
Date: Tue, 10 Nov 2020 22:32:00 +0100
Subject: [PATCH] do fast checks on push

---
 .github/workflows/fast.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/fast.yml b/.github/workflows/fast.yml
index f0dd93fa..7c8e8e45 100644
--- a/.github/workflows/fast.yml
+++ b/.github/workflows/fast.yml
@@ -9,6 +9,14 @@ on:
       - 'doc/**'
       - 'examples/**'
       - 'tools/**'
+  push:
+    branches:
+      - master
+      - develop
+    paths-ignore:
+      - 'doc/**'
+      - 'examples/**'
+      - 'tools/**'
 
 jobs:
   cmake: