Skip to content
Delete merged branch of the backport PRs

[Backport 1.3] Add Derek Ho (github: derek-ho) as a maintainer #1966

Sign in to view logs

[Backport 1.3] Add Derek Ho (github: derek-ho) as a maintainer

[Backport 1.3] Add Derek Ho (github: derek-ho) as a maintainer #1966

Run time

Learn about OS pricing on GitHub Actions
Job Run time
delete-branch
17s
17s