Automatic Pull Request Labeling

Set labels - PR #852 ("`Automatic` documentation update") #263

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Remove Ready to merge	3s
Category labels	7s
Size label	3s
	13s