[automated] Merge branch 'main' => 'feature/net11-scouting'#20053
Open
github-actions[bot] wants to merge 3 commits into
Open
[automated] Merge branch 'main' => 'feature/net11-scouting'#20053github-actions[bot] wants to merge 3 commits into
github-actions[bot] wants to merge 3 commits into
Azure Pipelines / fsharp-ci
succeeded
Jul 10, 2026 in 1h 31m 57s
Build #20260710.3 succeeded
Details
- Failed: 0 (0.00%)
- Passed: 11,349 (97.54%)
- Other: 286 (2.46%)
- Total: 11,635
Loading