Auto merge of rust-lang#3321 - RalfJung:macos-time, r=RalfJung

more dealing with macOS CI runners being slow 500ms seems to still sometimes not enough... so let's double it...
RalfJung · Feb 25, 2024 · 8d74063 · 8d74063
2 parents 02ee564 + ac9617c
commit 8d74063
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/miri/tests/pass/shims/time.rs b/src/tools/miri/tests/pass/shims/time.rs
@@ -5,7 +5,7 @@ use std::time::{Duration, Instant, SystemTime};
 fn duration_sanity(diff: Duration) {
     // On my laptop, I observed times around 15-40ms. Add 10x lee-way both ways.
     assert!(diff.as_millis() > 1);
-    assert!(diff.as_millis() < 500);
+    assert!(diff.as_millis() < 1000); // macOS is very slow sometimes
 }
 
 fn test_sleep() {