Skip to content

Update MicroBuildShipTasks from v3 to v5 #18722

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.

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jun 30, 2025
Merged

Update MicroBuildShipTasks from v3 to v5 #18722

merged 1 commit into from
Jun 30, 2025

Conversation

@T-Gro
Copy link
Member

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

No description provided.

@T-Gro T-Gro requested a review from a team as a code owner June 30, 2025 08:51
@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 30, 2025
@T-Gro T-Gro requested a review from abonie June 30, 2025 08:51
@github-actions
Copy link
Contributor

github-actions bot commented Jun 30, 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-Gro T-Gro enabled auto-merge (squash) June 30, 2025 12:12
@T-Gro T-Gro merged commit 62a6bfd into main Jun 30, 2025
40 checks passed
@T-Gro T-Gro deleted the T-Gro-patch-3-update-MicroBuildShipTasks branch July 4, 2025 11:04
@T-Gro
Copy link
Member Author

T-Gro commented Jul 11, 2025

/backport to release/dev17.14

@github-actions
Copy link
Contributor

Started backporting to release/dev17.14: https://github.com/dotnet/fsharp/actions/runs/16214085234

@github-actions github-actions bot mentioned this pull request Jul 11, 2025
Merged
@dotnet-bot dotnet-bot mentioned this pull request Jul 26, 2025
Closed
@dotnet-bot dotnet-bot mentioned this pull request Aug 22, 2025
Closed
brianrourkeboll pushed a commit to brianrourkeboll/fsharp that referenced this pull request Sep 11, 2025
@T-Gro @brianrourkeboll
Update MicroBuildShipTasks from v3 to v5 (dotnet#18722)
f1955c8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@abonie abonie abonie approved these changes

Assignees

No one assigned

Labels

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

Projects

F# Compiler and Tooling
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@T-Gro @abonie