ci: remove unstable miri option (#167)

seanmonstar · web-flow · commit 62622dc333af · 2024-06-10T09:59:13.000-04:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -183,7 +183,7 @@ jobs:
           override: true
 
       - name: Test
-        run: MIRIFLAGS="-Zmiri-tag-raw-pointers -Zmiri-check-number-validity" cargo miri test
+        run: cargo miri test
   #
   # mirai:
   #   name: MIRAI static analysis

Original file line number	Diff line number	Diff line change
`@@ -183,7 +183,7 @@ jobs:`
`183`	`183`	`override: true`
`184`	`184`
`185`	`185`	`- name: Test`
`186`		`- run: MIRIFLAGS="-Zmiri-tag-raw-pointers -Zmiri-check-number-validity" cargo miri test`
	`186`	`+ run: cargo miri test`
`187`	`187`	`#`
`188`	`188`	`# mirai:`
`189`	`189`	`# name: MIRAI static analysis`