[WIP] Support --typecheck-only for fsi run (just typecheck, no execution) - #18687

Merged

T-Gro merged 16 commits into

mainfrom

copilot/fix-18686

Aug 4, 2025

Commits on Jun 12, 2025

Initial plan for issue
Copilot
committed
4995602
Update copilot-setup-steps.yml
T-Gro
authored
89b69aa
Implement --typecheck-only support for FSI scripts

Copilot
and
T-Gro
committed
a8db5c6
Improve TypeCheckOnlyTests with better execution verification

Copilot
and
T-Gro
committed
7ea403c

Commits on Jun 16, 2025

Update TypeCheckOnlyTests to use console output instead of file side effects

Copilot
and
T-Gro
committed
bd5aa05

Commits on Jul 11, 2025

Merge branch 'main' into copilot/fix-18686
T-Gro
authored
9836e52

Commits on Jul 22, 2025

Fix build of test utils
T-Gro
committed
e276875

Commits on Jul 29, 2025

Commits on Jul 30, 2025

Update help and ILVerify baselines for --typecheck-only option

Copilot
and
T-Gro
committed
f43c85a

Commits on Jul 31, 2025

Merge branch 'main' into copilot/fix-18686
T-Gro
authored
6daac2e
Merge branch 'main' into copilot/fix-18686
T-Gro
authored
c37be65
Apply patch from /run ilverify
actions-user
committed
bed45ff