Skip to content

Abonie/revert contaminated arcade update - #20307

Merged
abonie merged 4 commits into
release/10.0.4xxfrom
abonie/revert-contaminated-arcade-update
Aug 21, 2026
Merged

Abonie/revert contaminated arcade update#20307
abonie merged 4 commits into
release/10.0.4xxfrom
abonie/revert-contaminated-arcade-update

Conversation

@abonie

Copy link
Copy Markdown
Member

Revert #20134 and then replay arcade update from #20243

abonieand others added 2 commits August 21, 2026 12:17
Restore Microsoft.DotNet.Arcade.Sdk 10.0.0-beta.26418.1 after reverting the contaminated dependency-flow PR. The corresponding eng/common changes from PR #20243 are already present.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions

github-actionsBot commented Aug 21, 2026

Copy link
Copy Markdown
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

@github-actionsgithub-actionsBot added the AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed label Aug 21, 2026
@T-GroT-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Aug 21, 2026
Read the FsCheck version from the legacy FsCheckVersion property so the test assembly emits FsiRestoreTestPackageVersion after Directory.Packages.props is removed.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-project-automationgithub-project-automationBot moved this from New to In Progress in F# Compiler and ToolingAug 21, 2026
@T-Gro
T-Gro enabled auto-merge (squash) August 21, 2026 14:19
@abonie
abonie disabled auto-merge August 21, 2026 15:47
@abonie
abonie enabled auto-merge (squash) August 21, 2026 15:48
@abonie
abonie merged commit 36bf12f into release/10.0.4xxAug 21, 2026
51 checks passed
@github-project-automationgithub-project-automationBot moved this from In Progress to Done in F# Compiler and ToolingAug 21, 2026
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AI-Tooling-Check-BypassedTooling check: non-fork PR, not diff-analyzedNO_RELEASE_NOTESLabel 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

@abonie@T-Gro