openharmony/third_party_rust_rust
1
0
Fork 0
mirror of https://github.com/openharmony/third_party_rust_rust.git synced 2026-08-27 09:51:29 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
29ab841bb8ac35c0cfe825c8a6146845edeae945
third_party_rust_rust/.github/workflows
T
History
bors 2393236995 Auto merge of #110846 - jdno:reduce-builder-sizes, r=pietroalbini 
Optimize builder sizes

The infra-team is continuously monitoring the efficiency of the CI system in an effort to improve overall build times and resource usage. Some builders have used much less than their allocated resources, so we are testing smaller builder sizes for them.

r? `@pietroalbini`
2023-05-03 07:06:42 +00:00
..
ci.yml
Auto merge of #110846 - jdno:reduce-builder-sizes, r=pietroalbini
2023-05-03 07:06:42 +00:00