Skip to content

Conversation

@github-actions
Copy link
Contributor

Auto-generated update to the API surface to compare current surface vs latest release. This should only be merged once this surface area ships in a new release.

@github-actions github-actions bot added the NO-MERGE The PR is not ready for merge yet (see discussion for detailed reasons) label Oct 15, 2025
@github-actions
Copy link
Contributor Author

github-actions bot commented Oct 15, 2025

🚀 Dogfood this PR with:

⚠️ WARNING: Do not do this without first carefully reviewing the code of this PR to satisfy yourself it is safe.

curl -fsSL https://raw.githubusercontent.com/dotnet/aspire/main/eng/scripts/get-aspire-cli-pr.sh | bash -s -- 12058

Or

  • Run remotely in PowerShell:
iex "& { $(irm https://raw.githubusercontent.com/dotnet/aspire/main/eng/scripts/get-aspire-cli-pr.ps1) } 12058"

@github-actions github-actions bot force-pushed the update-api-diffs branch 8 times, most recently from 11736e0 to 606eb89 Compare October 23, 2025 16:23
@github-actions github-actions bot force-pushed the update-api-diffs branch 7 times, most recently from 34595b8 to 00cfbc8 Compare October 30, 2025 16:24
@github-actions github-actions bot force-pushed the update-api-diffs branch 3 times, most recently from ed206b6 to ea7c329 Compare November 2, 2025 16:22
@github-actions github-actions bot force-pushed the update-api-diffs branch 3 times, most recently from 17ea95c to ed7bf51 Compare November 12, 2025 16:25
@github-actions github-actions bot requested a review from jfversluis as a code owner November 12, 2025 16:25
@github-actions github-actions bot force-pushed the update-api-diffs branch 6 times, most recently from 3388702 to 25de571 Compare November 19, 2025 16:27
@github-actions github-actions bot force-pushed the update-api-diffs branch 7 times, most recently from b849f7f to b5d95fc Compare November 26, 2025 16:25
@github-actions github-actions bot force-pushed the update-api-diffs branch 5 times, most recently from 88a16d1 to a0442f8 Compare December 1, 2025 16:27
Copy link
Member

@joperezr joperezr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks like I didn't merge this as part of the 13.0 release. Latest push should have the API shape that was shipped in 13.0 so this is ready to go now.

@joperezr joperezr enabled auto-merge (squash) December 2, 2025 02:51
@joperezr joperezr disabled auto-merge December 2, 2025 03:41
@joperezr joperezr merged commit a80b2f2 into main Dec 2, 2025
292 of 295 checks passed
@joperezr joperezr deleted the update-api-diffs branch December 2, 2025 03:41
@dotnet-policy-service dotnet-policy-service bot added this to the 13.1 milestone Dec 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO-MERGE The PR is not ready for merge yet (see discussion for detailed reasons) Re-opened Github-Action PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants