From dc1067b8c4c7afa68a3ad478f808338e3dca9566 Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Thu, 30 May 2024 11:38:02 +0200 Subject: [PATCH] Run the CI on pull_request. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Running the CI on push only trigger the CI on a push on the current repository. It works on PR based on local branch but not for PR from remote repository. --- .github/workflows/ci.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a1f7ad2..4066b70 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,10 @@ name: CI -on: [push] +on: + pull_request: + push: + branches: + - main jobs: Linux: