Currently it takes ~20min to do a round of rust compilation(e.g. cargo clippy or docker build), this could bring about long waiting time if the self-hosted github runner is severely occupied (image there're multiple ongoing PRs, the compilation will be repeated for all the merging to/from dev and syncing).

Maybe there're ways to accelerate the process:

• for plain rust compilation, there is sccache
• for rust builds in docker, check the following discussions:
  • https://stackoverflow.com/questions/58473606/cache-rust-dependencies-with-docker-build
  • https://blog.mgattozzi.dev/caching-rust-docker-builds/
  • https://stackoverflow.com/questions/39661138/optimising-cargo-build-times-in-docker

Low prio.