add miri to CI

2024-07-06 15:46:04 +02:00
parent 285f11ccdc
commit 33793193cc
2 changed files with 7 additions and 1 deletions
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@ -15,6 +15,7 @@ fn call_0() {
 // issue #2361
 #[serial]
 #[test]
+#[cfg_attr(miri, ignore = "blocked on helper.rs UB")]
 fn call_qualification() {
    load_module_test("tests-pl/issue2361-call-qualified.pl", "");
 }