From 78f45b151889738cc7f6b1b6c5f381f819a8f88a Mon Sep 17 00:00:00 2001
From: Evan Almloff <ealmlof1@stumail.jccc.edu>
Date: Tue, 7 Feb 2023 21:12:34 -0600
Subject: [PATCH] don't run miri workflow on draft PRs

---
 .github/workflows/miri.yml | 1 +
 1 file changed, 1 insertion(+)

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: