Run workflow on pushes to save cache (#225)

Author: christophfroehlich

.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