Repository navigation
Slice source text instead of copying it line by line for outlining - #20443
Open
xperiandri wants to merge 12 commits into
Open
xperiandri wants to merge 12 commits into
xperiandri wants to merge 12 commits into
Azure Pipelines / fsharp-ci
succeeded
Oct 8, 2026 in 1h 41m 52s
Build #20261007.40 succeeded
Details
- Failed: 0 (0.00%)
- Passed: 8,826 (99.37%)
- Other: 56 (0.63%)
- Total: 8,882
Loading