From: Matthias Maier <tamiko@43-1.org>
Date: Tue, 4 Jul 2023 22:25:06 +0000 (-0500)
Subject: github: reenable runners on push
X-Git-Tag: relicensing~716^2~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c0639c14ce4bf10dd141d2c84ede61a812a4dae5;p=dealii.git

github: reenable runners on push
---

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 7e70497c19..d9b9aac9b8 100644
--- 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 345361829b..47a548d6ef 100644
--- 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 a9fe923083..aa2e30b6cd 100644
--- 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 e2a7d9b0ec..d11eeeac62 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -1,6 +1,7 @@
 name: github-windows
 
 on:
+  push:
   pull_request:
     types:
     - opened