Remove PR Labels

[7.2.0] Provide "did you mean ...?" suggestions for unknown command-line options #1478

Sign in to view logs

Summary
Jobs
- remove-label
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
remove-label	11s
	11s