Переглянути джерело

don't run miri workflow on draft PRs

Evan Almloff 2 роки тому
батько
коміт
78f45b1518
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: