Skip to content

Conversation

T-Gro
Copy link
Member

@T-Gro T-Gro commented Jun 10, 2025

No description provided.

@T-Gro T-Gro requested a review from a team as a code owner June 10, 2025 08:01
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 10, 2025
Copy link
Contributor

⚠️ 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 enabled auto-merge (squash) June 10, 2025 09:50
@T-Gro T-Gro merged commit 47bdb71 into main Jun 10, 2025
39 checks passed
@T-Gro T-Gro deleted the fixup-roslyn-versions branch June 10, 2025 10:01
T-Gro added a commit that referenced this pull request Jun 12, 2025
* Update copilot-setup-steps.yml with dotnet tool restore (#18675)

Make copilot run dotnet tool restore during setup so it can use fantomas

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20250609.1 (#18676)

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.25304.1 -> To Version 1.0.0-prerelease.25309.1

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

* Restore language server sln in copilot-setup-steps.yml (#18677)

Add a build step in copilot setup

* Fix roslyn versions to resolve NGEN issues (#18678)

---------

Co-authored-by: Adam Boniecki <[email protected]>
Co-authored-by: dotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Tomas Grosup <[email protected]>
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.

2 participants