From 3892f471b13fab8962bc0326a88bc8d6acb2327e Mon Sep 17 00:00:00 2001
From: Boshen <boshenc@gmail.com>
Date: Thu, 22 Feb 2024 15:53:40 +0800
Subject: [PATCH] ci: remove features for miri

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 70499f5..07aedac 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -76,7 +76,7 @@ jobs:
       - name: Run tests with miri
         env:
           MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance
-        run: cargo miri test --all --verbose --features fancy-no-syscall
+        run: cargo miri test --all --verbose
 
   minimal_versions:
     name: Minimal versions check