6 commits

Author	SHA1	Message	Date
Boshen	c35fb19f4f	ci: install minimal profile (#253) ... rustup show always install the profiles set in rust-toolchain.toml, I added an action to remove this line so we can install components selectively. This should reduce Rust installation time, which can be significant on Windows.	2023-04-05 11:50:30 +08:00
Boshen	d6b45c1a57	ci: use another step for uploading code coverage	2023-04-02 11:00:16 +08:00
Boshen	ba318c93a2	ci: try fix codecov	2023-04-02 01:09:32 +08:00
Boshen	adef772d6c	refactor: clean up code around code coverage	2023-04-01 15:59:42 +08:00
Boshen	6347dac8d6	ci: pass CODECOV_TOKEN to committed-action	2023-04-01 00:54:37 +08:00
Boshen	1a6f508bb9	ci: add codecov	2023-03-31 22:59:14 +08:00