Skip to content

[v13] ci: update inputs for create-github-app-token step#33945

Closed
zmb3 wants to merge 1 commit into
branch/v13from
zmb3/v13-backport-33939
Closed

[v13] ci: update inputs for create-github-app-token step#33945
zmb3 wants to merge 1 commit into
branch/v13from
zmb3/v13-backport-33939

Commits

Commits on Oct 26, 2023