Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: Speed up CI by skipping build (#1919)
* ci: Speed up CI by skipping build Because build is run by pretest automatically, we're currently building twice. * Re-enable build for coverage test
- Loading branch information