Skip to content

Rename some issue-* tests#149770

Merged
bors merged 1 commit intorust-lang:mainfrom
GrigorenkoPV:tests/consts
Dec 12, 2025
Merged

Rename some issue-* tests#149770
bors merged 1 commit intorust-lang:mainfrom
GrigorenkoPV:tests/consts

Commits

Commits on Dec 10, 2025