PR #12126 GitHub App: fix PR builds and import

GitHub App: fix PR builds and import #12126

stsewd merged 6 commits into main from several-fixes-for-gh-app

GitHub App: fix PR builds and import

7c9a1cd9

One more fix

01b36072

Fix tests and return a single value

73965abc

Test

68914f28

Test form

532bad97

stsewd marked this pull request as ready for review 282 days ago

stsewd requested a review 282 days ago

stsewd requested a review from

ericholscher 282 days ago

auto-assign assigned

stsewd 282 days ago

stsewd requested a review from

copilot-pull-request-reviewer 282 days ago

copilot-pull-request-reviewer commented on 2025-04-22

Missed one

fde2084e

humitos approved these changes on 2025-04-23

stsewd merged b4bdd3d6 into main 281 days ago

stsewd deleted the several-fixes-for-gh-app branch 281 days ago

Reviewers

humitos

ericholscher

Assignees

stsewd

Labels

None yet

Milestone

No milestone