Run miri test with --features global in ci

.github/workflows/main.yml

@@ -110,8 +110,8 @@ jobs:
         rustup override set nightly
         cargo miri setup
     - name: Test with Miri Stack Borrows
-      run: cargo miri test
+      run: cargo miri test --features global
     - name: Test with Miri Tree Borrows
-      run: cargo miri test
+      run: cargo miri test --features global
       env:
         MIRIFLAGS: -Zmiri-tree-borrows

tests/global.rs

@@ -1,10 +1,10 @@
+#![cfg(feature = "global")]
 extern crate dlmalloc;
 
 use std::collections::HashMap;
 use std::thread;
 
 #[global_allocator]
-#[cfg(feature = "global")]
 static A: dlmalloc::GlobalDlmalloc = dlmalloc::GlobalDlmalloc;
 
 #[test]

tests/smoke.rs

@@ -24,6 +24,7 @@ fn smoke() {
 mod fuzz;
 
 #[test]
+#[cfg(feature = "global")]
 fn stress() {
     let mut rng = SmallRng::seed_from_u64(0);
     let mut buf = vec![0; 4096];