Main

ci: log number of merged PRs into `main` #523

Job	Run time
Build, lint, and test / lint	37s
Build, lint, and test / test	21s
Test checkout-and-setup / test-no-input	6s
Lint workflows / Lint workflows	6s
Test checkout-and-setup / test-bad-input-number	5s
Test checkout-and-setup / test-bad-input-string	5s
Test checkout-and-setup / test-do-not-checkout-twice	26s
Test checkout-and-setup / prep-deps	29s
Test checkout-and-setup / test-low-risk-without-prep-deps	26s
Test checkout-and-setup / test-high-risk-without-prep-deps	30s
Test checkout-and-setup / test-high-risk-string	32s
Test checkout-and-setup / test-low-risk-after-prep-deps	10s
Test checkout-and-setup / test-high-risk-after-prep-deps	32s
Test checkout-and-setup / test-low-risk-string	8s
All jobs completed	3s
All jobs pass	4s
	4m 40s

Provide feedback