Skip to content

Conversation

@josephperrott
Copy link
Member

No description provided.

@josephperrott josephperrott added the action: merge The PR is ready for merge by the caretaker label Nov 12, 2025
@angular-robot angular-robot bot added the area: build & ci Related the build and CI infrastructure of the project label Nov 12, 2025
@josephperrott josephperrott removed the request for review from devversion November 12, 2025 16:56
@josephperrott josephperrott merged commit 75e967a into angular:main Nov 12, 2025
9 checks passed
@josephperrott
Copy link
Member Author

This PR was merged into the repository. The changes were merged into the following branches:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

action: merge The PR is ready for merge by the caretaker area: build & ci Related the build and CI infrastructure of the project

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants