PR Check

0000000: add names for GitHub workflow steps. #26

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / Build	12s
test / Test	16s
policy-check / PR Title Check	4s
	32s