From: Matthias Maier 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