Currently, the CI only tests for correctness. However, updates can have unintended effects on performance. This should be captured by the CI as well. This could be done using the Github Github Action: - https://github.com/marketplace/actions/continuous-benchmark - https://github.com/benchmark-action/github-action-benchmark