Testing¶
All tests should pass before merging to main.
Quick Tests¶
These are the tests run by the default ci workflow on GitHub Actions.
Slow Tests¶
Benchmarks¶
Benchmark tests are useful for release checks and solver-performance investigations. They are intentionally kept out of the default CI path and are run separately from the fast CI workflow.
To save a local benchmark baseline: