Fix accidental removal of getMetrics function#250

Merged

szegedi merged 2 commits intomainfrom

szegedi/fix-metrics

Dec 17, 2025

Commits on Dec 17, 2025

Fix accidental removal of getMetrics function
szegedi
committed
Import time profiler through top-level profiler file, ensuring that it tests re-exporting of functions etc.
szegedi
committed