Skip to content

Remove unnecessary legacy metadata#947

Merged
ofek merged 2 commits intomainfrom
build
Nov 22, 2025
Merged

Remove unnecessary legacy metadata#947
ofek merged 2 commits intomainfrom
build

Conversation

@ofek
Copy link
Copy Markdown
Collaborator

@ofek ofek commented Nov 22, 2025

This should be the last step to enforce isolated builds.

@ofek ofek marked this pull request as ready for review November 22, 2025 14:27
@ofek ofek merged commit 7fcc790 into main Nov 22, 2025
23 checks passed
@ofek ofek deleted the build branch November 22, 2025 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant