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
Auto merge of #1368 - Robbepop:add-new-trophy-for-inks-lazyarray, r=RalfJung
Add miri trophy for LazyArray::swap (ink! PR)
Details to the found in #1364.
Note that this was not a found in a `master` or production release of ink!, however without analysing the code via `miri` this could have potentially happened.
0 commit comments