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
When I do ./x miri std -- f64 && ./x miri std -- f64, it re-builds the Miri sysroot for the second invocation. That should not happen, it should cache the sysroot. I am pretty sure (but not 100% sure) this used to work properly when I added ./x miri.
@onur-ozkan you changed this code recently in #137215; could that have caused this problem?