Skip to content

Include threat-detection credits in forecast totals, expose monthly low/high/stdev, and fix formal-verifier tool denials - #39101

Merged
pelikhan merged 10 commits into
mainfrom
copilot/update-forecast-computation
Jun 13, 2026
Merged

Include threat-detection credits in forecast totals, expose monthly low/high/stdev, and fix formal-verifier tool denials#39101
pelikhan merged 10 commits into
mainfrom
copilot/update-forecast-computation

Clarify total-attempt semantics in hash retry loop

755cca1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar