From beec84b3ee754561ecc7893e7af223e8028250c7 Mon Sep 17 00:00:00 2001
From: Trangar <gpg@trangar.com>
Date: Wed, 1 May 2024 12:11:06 +0200
Subject: [PATCH] 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 <git@trang.ar>
---
 .github/workflows/miri.yml | 4 ++--
 tests/std.rs               | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
index 01a147e..29ba43e 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 973c75d..3f6cc80 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");