소스 검색

Merge pull request #820 from Demonthos/don't-run-miri-on-drafts

Don't run miri workflow on draft PRs
Jon Kelley 2 년 전
부모
커밋
ffb2b6f4de
1개의 변경된 파일1개의 추가작업 그리고 0개의 파일을 삭제
  1. 1 0
      .github/workflows/miri.yml

+ 1 - 0
.github/workflows/miri.yml

@@ -7,6 +7,7 @@ on:
       - 'auto'
       - 'try'
   pull_request:
+    types: [opened, synchronize, reopened, ready_for_review]
     branches:
       - 'master'
   schedule: