From 48fe6c15102fbef88bbd12d6c64aa9a212db73b9 Mon Sep 17 00:00:00 2001
From: Andy Grove <agrove@apache.org>
Date: Wed, 10 Jul 2024 16:18:19 -0600
Subject: [PATCH] update to reflect change in directory name

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

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
index 384a672b7..a07ecc35e 100644
--- a/.github/workflows/miri.yml
+++ b/.github/workflows/miri.yml
@@ -45,5 +45,5 @@ jobs:
           cargo miri setup
       - name: Test with Miri
         run: |
-          cd core
+          cd native
           MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test