slothy
slothy copied to clipboard
Log CI time to detect performance regressions
Currently, detecting performance regressions in SLOTHY (or CP-SAT) requires carefully inspecting the CI runtimes and comparing them to common results.
- [ ] Create a dashboard of CI runtimes that's populated automatically at every change to
main