diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4caf8afc6c..76737b221c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,10 @@ name: CI on: pull_request: + pull_request_target: + types: [labeled] + paths-ignore: + - '.github/**' push: branches: master