Skip to content

Increase timeout for new bors bot#122425

Merged
bors merged 1 commit intorust-lang:masterfrom Kobzol:new-bors-update-timeoutMar 14, 2024

Commits

Commits on Mar 13, 2024