Improve background progress reporting - #1545

Open

TheAngryByrd wants to merge 6 commits into

ionide:mainfrom

TheAngryByrd:better-progress-reporting

Commits on Aug 31, 2026

Add shared progress reporter for concurrent typecheck operations
TheAngryByrd
committed
e2b4a31
Add parallel25 function for 25% processor concurrency and integrate shared progress reporter
TheAngryByrd
committed
d1c0e65
Add synchronous batch progress reporting for project loading
TheAngryByrd
committed
c649fd1
Fix indentation for Async.withCancellation in AdaptiveState
TheAngryByrd
committed
2623892
Refactor parallel computation functions and enhance progress reporting in typechecking
TheAngryByrd
committed
d7e1661
Fix progress reporting cancellation and tracking
TheAngryByrd
committed
7dbf534