Stricten miri

CAD97 · CAD97 · commit 860c9859e19f · 2022-03-25T01:56:53.000-05:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -12,6 +12,7 @@ env:
   CARGO_PROFILE_DEV_DEBUG: false
   CARGO_PROFILE_RELEASE_DEBUG: false
   RUSTFLAGS: -D warnings -W unreachable-pub
+  MIRIFLAGS: -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers
 
 jobs:
   cargo-test:
