rust-lang-ci
diff --git a/‎src/tools/miri/tests/pass/ints.rs renamed to ‎src/tools/miri/tests/pass/integers.rs b/‎src/tools/miri/tests/pass/ints.rs renamed to ‎src/tools/miri/tests/pass/integers.rs