Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Sync from Azure DevOps: release/dev17.10#18742

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Open
T-Gro wants to merge14 commits intorelease/dev17.10
base:release/dev17.10
Choose a base branch
Loading
fromsync/release-dev17.10-20250709121058

Conversation

T-Gro
Copy link
Member

This PR syncs commits from the internal Azure DevOps mirror for branch 'release/dev17.10'. Please review and merge.

KevinRansomand others added13 commitsMarch 25, 2025 22:15
#### AI description  (iteration 1)#### PR ClassificationBug fix#### PR SummaryThis pull request addresses the issue of unnecessary package downloads in NuGet by improving the handling of package references and script project options.- Added `TextViewEventsHandler` and related subscription logic in `vsintegration/src/FSharp.Editor/Common/Extensions.fs` to handle text view events.- Updated `FSharpProjectOptionsManager.fs` to include caret position handling and improved cache management for project options.- Enhanced `ScriptClosure.fs` to filter package manager lines based on caret position and added `UsePackageTargets` handling.- Modified `FSharp.DependencyManager.fs` to support `usepackagetargets` option in package references.- Added new unit tests in `FSharpScriptTests.fs` to verify the handling of `usepackagetargets` and other related scenarios.<!-- GitOpsUserAgent=GitOps.Apps.Server.pullrequestcopilot -->
@github-actionsGitHub Actions
Copy link
Contributor

github-actionsbot commentedJul 9, 2025
edited
Loading

⚠️ 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

@T-GroT-Gro added the NO_RELEASE_NOTESLabel for pull requests which signals, that user opted-out of providing release notes labelJul 9, 2025
@T-Gro
Copy link
MemberAuthor

/azp run

@azure-pipelinesAzure Pipelines
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment
Reviewers

@abonieabonieabonie approved these changes

Assignees
No one assigned
Labels
NO_RELEASE_NOTESLabel for pull requests which signals, that user opted-out of providing release notes
Projects
Status: In Progress
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

3 participants
@T-Gro@abonie@KevinRansom

[8]ページ先頭

©2009-2025 Movatter.jp