Skip to content

Rename directive needs-profiler-support to needs-profiler-runtime#131429

Merged
bors merged 3 commits intorust-lang:masterfrom
Zalathar:needs-profiler-runtime
Oct 9, 2024
Merged

Rename directive `needs-profiler-support` to `needs-profiler-runtime`#131429
bors merged 3 commits intorust-lang:masterfrom
Zalathar:needs-profiler-runtime

Commits

Commits on Oct 9, 2024