From 99c840a24cf6fa3e966284f20f6b4000994f290c Mon Sep 17 00:00:00 2001 From: Lahiru Maramba Date: Mon, 11 May 2020 18:36:39 -0400 Subject: [PATCH] chore: Running CI workflow on pull_request Unless we trigger this workflow on pull_request event, we won't get CI coverage for pull requests sent by external contributors. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index aa9b669139..9461c44f43 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,6 @@ name: Continuous Integration -on: push +on: pull_request jobs: build: