Skip to content

[main] Generate source assets identical to GitHub assets#2998

Merged
ellahathaway merged 2 commits into
mainfrom
backport/pr-2962-to-main
Oct 20, 2025
Merged

[main] Generate source assets identical to GitHub assets#2998
ellahathaway merged 2 commits into
mainfrom
backport/pr-2962-to-main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Backport of #2962 to main

/cc @ellahathaway

@ellahathaway ellahathaway enabled auto-merge (squash) October 20, 2025 19:22
@ellahathaway ellahathaway merged commit d9ea74c into main Oct 20, 2025
11 checks passed
@ellahathaway ellahathaway deleted the backport/pr-2962-to-main branch October 20, 2025 21:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant