Get timing records, optionally filtered by category.
This is a method of the Profiler class in the profiler module.
def get_timings(category: Optional[str]) -> List[TimingRecord]