diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index 8894dbace..73b38dec9 100644 --- a/.github/workflows/miri.yml +++ b/.github/workflows/miri.yml @@ -7,6 +7,7 @@ on: - 'auto' - 'try' pull_request: + types: [opened, synchronize, reopened, ready_for_review] branches: - 'master' schedule: