Skip to content

Conversation

T-Gro
Copy link
Member

@T-Gro T-Gro commented Aug 12, 2025

No description provided.

Copy link
Contributor

github-actions bot commented Aug 12, 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

@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Aug 13, 2025
@dotnet dotnet deleted a comment from github-actions bot Aug 13, 2025
@T-Gro
Copy link
Member Author

T-Gro commented Aug 13, 2025

/run test-baseline EmittedIL

@dotnet dotnet deleted a comment from github-actions bot Aug 13, 2025
@T-Gro
Copy link
Member Author

T-Gro commented Aug 13, 2025

/run ilverify

Copy link
Contributor

🔧 CLI Command Report

  • Command: /run test-baseline
  • Outcome: success

✅ Patch applied:
- Files changed: 5
- Lines changed: 404

Copy link
Contributor

🔧 CLI Command Report

  • Command: /run ilverify
  • Outcome: success

✅ Command succeeded, no changes needed.

@T-Gro T-Gro marked this pull request as ready for review August 13, 2025 11:37
@T-Gro T-Gro requested a review from a team as a code owner August 13, 2025 11:37
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Aug 13, 2025
Right now fails with:

 You must install or update .NET to run this application.      App: C:\Users\tomasgrosup\.nuget\packages\microsoft.net.illink.tasks\10.0.0-preview.7.25380.108\tools\net\illink.dll   Architecture: x64   Framework: 'Microsoft.NETCore.App', version '10.0.0-preview.7.25380.108' (x64)
@T-Gro
Copy link
Member Author

T-Gro commented Aug 14, 2025

/azp run

@T-Gro T-Gro enabled auto-merge (squash) August 14, 2025 10:08
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

@T-Gro T-Gro self-assigned this Aug 14, 2025
@T-Gro T-Gro merged commit ccc636d into main Aug 14, 2025
38 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Aug 14, 2025
@T-Gro T-Gro deleted the net9tonet10 branch August 14, 2025 12:43
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.

3 participants