![]() # Objective In #19253 we pinned nightly due to a bug in Miri. That issue was resolved and the latest Miri should be usable for us again. ## Solution - Use latest nightly again ## Testing - I tested today's Miri locally with `RUSTUP_TOOLCHAIN=nightly-2025-05-18 MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" RUSTFLAGS="-Zrandomize-layout" cargo miri test -p bevy_ecs` |
||
---|---|---|
.. | ||
action-on-PR-labeled.yml | ||
ci-comment-failures.yml | ||
ci.yml | ||
dependencies.yml | ||
docs.yml | ||
example-run-report.yml | ||
example-run.yml | ||
post-release.yml | ||
send-screenshots-to-pixeleagle.yml | ||
validation-jobs.yml | ||
weekly.yml | ||
welcome.yml |