diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 92b14aa9..b7297a8b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,8 @@ name: CI -on: push +on: + - push + - pull_request # As long as we use local actions, checkout should be made in workflow before # and not in the local actions. Otherwise, no action file found.