Skip to content

miri compiletest: no longer allow some warnings in rustc test suite#112241

Closed
RalfJung wants to merge 1 commit intorust-lang:masterfrom
RalfJung:miri-compiletest-allow
Closed

miri compiletest: no longer allow some warnings in rustc test suite#112241
RalfJung wants to merge 1 commit intorust-lang:masterfrom
RalfJung:miri-compiletest-allow

Commits

Commits on Jun 3, 2023