Daniel Rainer 9d904e1113 Improve profiling output ...

Indicate the units of the durations (microseconds).

Right-align the durations for better readability.

Use `format!` instead of `fprintf` for more flexible formatting.

Write to `File` instead of raw fd.

Closes #11396

2025-04-18 20:22:30 +02:00

4.0 KiB

Raw Permalink Blame History

View Raw