You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Pin nightly rust version to fix failing MIRI job (#8183)
# Which issue does this PR close?
- Related to #8181
# Rationale for this change
I am trying to get CI clean on main in preparation for a release, but
sadly the MIRI job started failing with an internal (rust) compiler
error
I believe this is due to the fact we are using bleeding edge rust
(nightly)
# What changes are included in this PR?
Temporarily pin the MIRI job to use nightly from last night rather than
now
# Are these changes tested?
Yes by CI
# Are there any user-facing changes?
No
0 commit comments