Skip to content

clippy: fix test filtering when TESTNAME is empty#143825

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:clippy-test-filter
Jul 13, 2025
Merged

clippy: fix test filtering when TESTNAME is empty#143825
bors merged 1 commit intorust-lang:masterfrom
RalfJung:clippy-test-filter

Commits

Commits on Jul 12, 2025