github: reenable runners on push

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 7e70497c1969e3e1ff836554fdea331ca09c4617..d9b9aac9b87f1bd95741e432e2a03b26439b7868 100644 (file)
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -1,6 +1,7 @@
 name: github-linux
 
 on:
+  push:
   pull_request:
     types:
     - opened

diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
index 345361829b9ab6f2f2b6196aadd392e0f9673d78..47a548d6eff03b6f6734f36c0a111f166fb8f627 100644 (file)
--- a/.github/workflows/osx.yml
+++ b/.github/workflows/osx.yml
@@ -1,6 +1,7 @@
 name: github-OSX
 
 on:
+  push:
   pull_request:
     types:
     - opened

diff --git a/.github/workflows/tidy.yml b/.github/workflows/tidy.yml
index a9fe923083e077d2817cc7766fee1dd982fdcfbc..aa2e30b6cd627c76fc83b7fe7f321b1b863c012a 100644 (file)
--- a/.github/workflows/tidy.yml
+++ b/.github/workflows/tidy.yml
@@ -1,6 +1,7 @@
 name: tidy
 
 on:
+  push:
   pull_request:
     types:
     - opened

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index e2a7d9b0ec88e760e79eb1c3c59710907cf0e981..d11eeeac62926f0e8da6205d316a7a4e30d287f2 100644 (file)
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -1,6 +1,7 @@
 name: github-windows
 
 on:
+  push:
   pull_request:
     types:
     - opened