update to reflect change in directory name

apache · Jul 10, 2024 · 48fe6c1 · 48fe6c1
1 parent ac6d29b
commit 48fe6c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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