Skip to content

Bound the required floor's 500ms budget against measured runner variance: rust_produced_decl_name_discriminates passes at 81% of ceiling on green main, so the gate's verdict is a property of which runner picks up the job - #10275

Closed
gunbai-bot[bot] wants to merge 3 commits into
mainfrom
session/gentle-crane-57
Closed

Bound the required floor's 500ms budget against measured runner variance: rust_produced_decl_name_discriminates passes at 81% of ceiling on green main, so the gate's verdict is a property of which runner picks up the job#10275
gunbai-bot[bot] wants to merge 3 commits into
mainfrom
session/gentle-crane-57

Merge remote-tracking branch 'origin/main' into session/gentle-crane-57

46091b7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar