Skip to content

Add auto extra-checks in pre-push hook#147098

Merged
bors merged 1 commit intorust-lang:masterfrom
Shunpoco:issue-147088
Sep 28, 2025
Merged

Add auto extra-checks in pre-push hook#147098
bors merged 1 commit intorust-lang:masterfrom
Shunpoco:issue-147088

Commits

Commits on Sep 27, 2025