miri icon indicating copy to clipboard operation
miri copied to clipboard

bump ui_test to 0.22

Open oli-obk opened this issue 1 year ago • 2 comments

oli-obk avatar Jan 25 '24 12:01 oli-obk

@rustbot author

RalfJung avatar Feb 10 '24 12:02 RalfJung

:umbrella: The latest upstream changes (presumably #3314) made this pull request unmergeable. Please resolve the merge conflicts.

bors avatar Feb 23 '24 20:02 bors

@oli-obk what's the plan with this PR? Is ui_test 0.23 ready to be used by Miri?

RalfJung avatar May 27 '24 12:05 RalfJung

still working on this now and then, keeping it open is not useful

oli-obk avatar Jun 19 '24 08:06 oli-obk