Skip to content
auto-merge

chore(tool): add "remove" alias to "tool delete" #15516

Sign in to view logs

chore(tool): add "remove" alias to "tool delete"

chore(tool): add "remove" alias to "tool delete" #15516

Run time

Learn about OS pricing on GitHub Actions
Job Run time
auto-merge
0s
0s