PR Check

0000000: add names for GitHub workflow steps. #25

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
policy-check / PR Title Check	6s
build / Build	23s
test / Test	17s
	46s