Run workflow on pushes to save cache (#225) (#227)

(cherry picked from commit 077825c)

Co-authored-by: Christoph Fröhlich <christophfroehlich@users.noreply.github.com>

Author: mergify[bot]

.github/workflows/humble-ci-pre-commit.yml

@@ -5,6 +5,9 @@ on:
   pull_request:
     branches:
       - humble
+  push:
+    branches:
+      - humble
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

.github/workflows/jazzy-pre-commit.yml

@@ -5,6 +5,9 @@ on:
   pull_request:
     branches:
       - jazzy
+  push:
+    branches:
+      - jazzy
 
 concurrency:
   # cancel previous runs of the same workflow

.github/workflows/rolling-pre-commit.yml

@@ -5,6 +5,9 @@ on:
   pull_request:
     branches:
       - master
+  push:
+    branches:
+      - master
 
 concurrency:
   # cancel previous runs of the same workflow