diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cdaae3a6002f..9f5b04afe4d9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,7 @@ on: push: branches: - master + - 'repro-*' pull_request: paths-ignore: - 'docs/**'