Benchmarks
Nightly Benchmark Runs
The purpose of these benchmarks is mostly to indicate possible "problems". Not so much measure (absolute) speed, memory usage or similar.
Take these benchmarks with a grain of salt. As of right now we do not do anything like warm up, mitigate caching effects or multiple runs to filter interference from other running processes.