Performance tools

The OSCAR timing dashboard records and visualizes timing data of existing OSCAR tests as benchmarks. It can be used to identify performance regressions, inspect benchmark runs, and compare timing results across OSCAR commits.

The dashboard is available at https://speed.oscar-system.org.

The source code for the dashboard is maintained at oscar-system/oscar-timing.