chore: reduce time of rebuilding across workspace

[skyzh]

What's changed and what's your intention?

As title. Also:

• ./risedev check, ./risedev test, ./risedev test-cov are drop-in replacement for the original make commands.
• Updates on docs and CI workflows.
• Note that hakari includes prost 0.7 instead of 0.9 in workspace-hack. For example, as we are using tikv-client, which requires prost 0.7; while we are using prost 0.9 across all other places, hakari is using prost 0.7 in its lock file. I've sent a PR chore: bump grpc-rs to 0.10 tikv/client-rust#339 to upgrade tikv client's prost version.
  • (seems that cargo-hakari already handles this as expected? facebookarchive/cargo-guppy@7623215)

Checklist

• I have written necessary docs and comments
• I have added necessary unit tests and integration tests

Refer to a related PR or issue link (optional)

[codecov]

Codecov Report

Merging #1081 (4511d10) into main (9f426a4) will increase coverage by 0.00%.
The diff coverage is 100.00%.

❗ Current head 4511d10 differs from pull request most recent head 59e6b2a. Consider uploading reports for the commit 59e6b2a to get more accurate results

@@            Coverage Diff            @@
##               main    #1081   +/-   ##
=========================================
  Coverage     70.28%   70.29%           
  Complexity     2766     2766           
=========================================
  Files           997      999    +2     
  Lines         83966    83968    +2     
  Branches       1790     1790           
=========================================
+ Hits          59018    59022    +4     
+ Misses        24057    24055    -2     
  Partials        891      891           

Flag	Coverage Δ
java	61.01% <ø> (ø)
rust	72.45% <100.00%> (+<0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
rust/workspace-hack/build.rs	100.00% <100.00%> (ø)
rust/workspace-hack/src/lib.rs	100.00% <100.00%> (ø)
rust/common/src/types/ordered_float.rs	22.50% <0.00%> (+0.19%)	⬆️
rust/connector/src/filesystem/file_common.rs	81.16% <0.00%> (+0.44%)	⬆️

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

[BugenZhao]

L📖TM