Merge pull request #165 from konsumlamm/miri

Enable `boxed` & `allocator_api` features in miri CI
fitzgen · Jun 27, 2022 · f5e01a7 · f5e01a7
2 parents fa52577 + a54f50c
commit f5e01a7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/rust.yaml b/.github/workflows/rust.yaml
@@ -43,7 +43,7 @@ jobs:
     runs-on: ubuntu-latest
 
     env:
-      MIRIFLAGS: "-Zmiri-tag-raw-pointers -Zmiri-check-number-validity -Zmiri-ignore-leaks"
+      MIRIFLAGS: "-Zmiri-tag-raw-pointers -Zmiri-ignore-leaks"
 
     steps:
     - name: Install rustup
@@ -54,7 +54,7 @@ jobs:
     - uses: actions/checkout@v2
 
     - name: Run miri
-      run: cargo miri test
+      run: cargo miri test --features boxed,allocator_api
 
   valgrind:
     runs-on: ubuntu-latest