From b9794aaad4bcd6898ee93c5bc8a6b529f7efa52d Mon Sep 17 00:00:00 2001
From: Jonathan Kelley <jkelleyrtp@gmail.com>
Date: Wed, 19 Jul 2023 09:54:54 -0700
Subject: [PATCH] Only run miri for changed files

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

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
index 73b38dec9..0146e98bc 100644
--- a/.github/workflows/miri.yml
+++ b/.github/workflows/miri.yml
@@ -6,6 +6,13 @@ on:
     branches:
       - 'auto'
       - 'try'
+    paths:
+      - packages/**
+      - examples/**
+      - src/**
+      - .github/**
+      - lib.rs
+      - Cargo.toml
   pull_request:
     types: [opened, synchronize, reopened, ready_for_review]
     branches: