We should migrate current Checks CI to include more thorough tests that are not limited to clippy-then-lint/test. Also, it's desirable to use GitHub Runners infrastructure, and use actions that store cache to better optimize the resources that we already have for release builds and benchmarking.
We should migrate current Checks CI to include more thorough tests that are not limited to
clippy-then-lint/test. Also, it's desirable to use GitHub Runners infrastructure, and use actions that store cache to better optimize the resources that we already have for release builds and benchmarking.