From e1f46b0261241ab5984f6229e215a2af7dbdfc6b Mon Sep 17 00:00:00 2001 From: Ivy Date: Wed, 4 Jan 2023 01:55:32 -0500 Subject: [PATCH] re-add `miri` test to CI --- pdg/src/main.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/pdg/src/main.rs b/pdg/src/main.rs index f3e20b9680..2d15784e90 100644 --- a/pdg/src/main.rs +++ b/pdg/src/main.rs @@ -385,7 +385,6 @@ mod tests { } #[test] - #[ignore] fn analysis_tests_misc_miri() -> eyre::Result<()> { init(); let mut cmd = Command::new("cargo");