diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index 01a147e4..29ba43e0 100644 --- a/.github/workflows/miri.yml +++ b/.github/workflows/miri.yml @@ -1,6 +1,6 @@ { "name": "miri", - "on": [ + "on": { "push": { "branches": [ "trunk", @@ -14,7 +14,7 @@ "v*.x" ] } - ], + }, "jobs": { "miri": { "name": "MIRI", diff --git a/tests/std.rs b/tests/std.rs index 973c75d1..3f6cc803 100644 --- a/tests/std.rs +++ b/tests/std.rs @@ -52,6 +52,7 @@ fn test_std_cursor() { } #[test] +#[cfg_attr(miri, ignore)] // miri does not like `tempfile` fn test_std_file() { let mut file = tempfile::tempfile().expect("Could not create temp file");