Skip to content

ci: post size report via workflow_run so fork PRs work#393

Merged
erichelgeson merged 1 commit into
mainfrom
eric/ci-fork-size-comment
Jul 15, 2026
Merged

ci: post size report via workflow_run so fork PRs work#393
erichelgeson merged 1 commit into
mainfrom
eric/ci-fork-size-comment

Conversation

@erichelgeson

Copy link
Copy Markdown
Contributor

No description provided.

@erichelgeson erichelgeson marked this pull request as ready for review July 15, 2026 13:23
@erichelgeson erichelgeson merged commit dfb7cda into main Jul 15, 2026
1 check passed
@erichelgeson erichelgeson deleted the eric/ci-fork-size-comment branch July 15, 2026 19:57
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