Skip to content

Provide ignore message in the result of test#92714

Merged
bors merged 1 commit intorust-lang:masterfrom yanganto:ignore-messageFeb 25, 2022

Commits

Commits on Feb 24, 2022