Skip to content

Create dev-small build profile#18612

Merged
andmis merged 1 commit intomainfrom
andrey/dev-small
Apr 20, 2026
Merged

Create dev-small build profile#18612
andmis merged 1 commit intomainfrom
andrey/dev-small

Conversation

@andmis
Copy link
Copy Markdown
Collaborator

@andmis andmis commented Apr 20, 2026

No description provided.

@andmis andmis merged commit 80aecc2 into main Apr 20, 2026
28 checks passed
@andmis andmis deleted the andrey/dev-small branch April 20, 2026 05:05
@github-actions github-actions bot locked and limited conversation to collaborators Apr 20, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants