Fixed broken miri CI script (#712)

* Fixed broken miri CI script * Disabled `test_std_file` in miri as it uses tempfile which is not supported --------- Co-authored-by: Victor Koenders <[email protected]>
bincode-org · May 1, 2024 · 6307d6f · 6307d6f
1 parent 4299f6d
commit 6307d6f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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");