From 01c7da5ecdda0215aa4982d74899bf1ceafb7494 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?M=C3=A1rton=20Elek?= Date: Thu, 14 Nov 2019 15:30:53 +0100 Subject: [PATCH] github worflow actions full pull requests --- .github/workflows/main.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index d07906991fc9..c64ac69639fe 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -13,7 +13,9 @@ # See the License for the specific language governing permissions and # limitations under the License. name: Build -on: push +on: + - push + - pull_request jobs: build: name: compile