Skip to content

Conversation

@abonie
Copy link
Member

@abonie abonie commented Jun 3, 2025

Description

Merges from main to feature/lsp take too much time to resolve due to updating baselines

0101 and others added 30 commits February 6, 2024 15:13
@github-actions
Copy link
Contributor

github-actions bot commented Jun 3, 2025

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@abonie abonie added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 4, 2025
@abonie abonie marked this pull request as ready for review June 4, 2025 10:20
@abonie abonie requested a review from a team as a code owner June 4, 2025 10:20
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Jun 4, 2025
Go back to trying to use GetLastModifiedTimeOnDisk to decide if file should be read from disk. As the TODO comment explains, it is flawed in that in doesn't always switch to in-memory mode when possible, but that's still better than ignoring changes made outside the editor
@T-Gro T-Gro merged commit 6f0d144 into main Jun 6, 2025
39 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Jun 6, 2025
@T-Gro T-Gro deleted the feature/lsp branch June 6, 2025 08:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

5 participants