diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index 462b45d7..a5a64e6c 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -7,7 +7,7 @@ on: pull_request: types: [opened, reopened, synchronize] push: - branches: [main] + branches: [main, 'release/*'] jobs: soundness: