Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[REF] github-action: Avoid unnecessary time-consuming 'Processing tri…
…ggers for man-db' installing apt (#143) Reduce the time of the github CI build pipeline from ~2min to ~1min
- Loading branch information