CI: Commit generated artifacts to PR branch instead of opening separate PRs#3128

Merged

jlowin merged 1 commit intomainfrom

ci/commit-generated-artifacts-to-pr

Feb 10, 2026

Commits on Feb 10, 2026

CI: Commit generated artifacts back to PR branch instead of opening separate PRs
jlowin
committed