![]() # Objective - Using the latest nightly for `miri` is generally desirable as we want to catch regressions upstream or new problems quickly - https://github.com/rust-lang/rust/pull/120123 should be merged now, so it should work. ## Solution - Revert #11421. --------- Co-authored-by: François <mockersf@gmail.com> Co-authored-by: Alice Cecile <alice.i.cecil@gmail.com> |
||
---|---|---|
.. | ||
action-on-PR-labeled.yml | ||
ci-comment-failures.yml | ||
ci.yml | ||
daily.yml | ||
dependencies.yml | ||
docs.yml | ||
post-release.yml | ||
release.yml | ||
validation-jobs.yml | ||
welcome.yml |