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>
This commit is contained in:
Trangar 2024-05-01 12:11:06 +02:00 committed by GitHub
parent ff24b8a315
commit beec84b3ee
2 changed files with 3 additions and 2 deletions

View File

@ -1,6 +1,6 @@
{ {
"name": "miri", "name": "miri",
"on": [ "on": {
"push": { "push": {
"branches": [ "branches": [
"trunk", "trunk",
@ -14,7 +14,7 @@
"v*.x" "v*.x"
] ]
} }
], },
"jobs": { "jobs": {
"miri": { "miri": {
"name": "MIRI", "name": "MIRI",

View File

@ -52,6 +52,7 @@ fn test_std_cursor() {
} }
#[test] #[test]
#[cfg_attr(miri, ignore)] // miri does not like `tempfile`
fn test_std_file() { fn test_std_file() {
let mut file = tempfile::tempfile().expect("Could not create temp file"); let mut file = tempfile::tempfile().expect("Could not create temp file");