Skip to content

[Automated] Update API Surface Area#12058

Merged
joperezr merged 1 commit intomainfrom
update-api-diffs
Dec 2, 2025
Merged

[Automated] Update API Surface Area#12058
joperezr merged 1 commit intomainfrom
update-api-diffs

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 5 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
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

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.

8 participants