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