Main

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

Job	Run time
Lint workflows / Lint workflows	5s
Build, lint, and test / lint	41s
Build, lint, and test / test	21s
Test checkout-and-setup / prep-deps	22s
Test checkout-and-setup / test-high-risk-without-prep-deps	33s
Test checkout-and-setup / test-no-input	5s
Test checkout-and-setup / test-bad-input-string	4s
Test checkout-and-setup / test-low-risk-without-prep-deps	22s
Test checkout-and-setup / test-do-not-checkout-twice	21s
Test checkout-and-setup / test-bad-input-number	4s
Test checkout-and-setup / test-high-risk-string	30s
Test checkout-and-setup / test-low-risk-after-prep-deps	10s
Test checkout-and-setup / test-high-risk-after-prep-deps	30s
Test checkout-and-setup / test-low-risk-string	9s
All jobs completed	4s
All jobs pass	2s
	4m 23s

Provide feedback