Formatting and debugging improvements#1115

Open

keyboardDrummer-bot wants to merge 38 commits into

main2from

formatting-and-debugging-improvements

Commits on May 5, 2026

Improve block formatting and diagnostic reporting
keyboardDrummer-bot
committed
Fix: only surface coreDiagnostics with known source locations
keyboardDrummer-bot
committed
Fix benchmark CI: use github.repository for CodeBuild source location
keyboardDrummer-bot
committed
Fix benchmark CI: skip on forks, restore hardcoded source URL
keyboardDrummer-bot
committed
Merge remote-tracking branch 'upstream/main' into formatting-and-debugging-improvements
keyboardDrummer-bot
committed
Remove repository condition from strata-benchmarks job
keyboardDrummer-bot
committed
Update LiftImperativeCallsInAssertTest expected outputs for new block formatting
keyboardDrummer-bot
committed
Remove coreDiagnostics filter, invalidCoreType defaults, and redundant emitDiagnostic
keyboardDrummer-bot
committed
Add doc comment to processLaurelFileKeepIntermediates
keyboardDrummer-bot
committed
Restore FileRange.unknown filter for coreDiagnostics
keyboardDrummer-bot
committed

Commits on May 14, 2026

Add PR template warning about repository split (#1166)
atomb
authored

Commits on May 15, 2026

Commits on May 18, 2026

Commits on May 19, 2026

Commits on May 20, 2026

Commits on May 21, 2026