Skip to content

remove proof tree formatting, make em shallow#125510

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:change-proof-trees-to-be-shallow
May 25, 2024

Commits

Commits on May 24, 2024