Main

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

Job	Run time
Test checkout-and-setup / prep-deps	23s
Lint workflows / Lint workflows	6s
Build, lint, and test / test	20s
Build, lint, and test / lint	35s
Test checkout-and-setup / test-high-risk-without-prep-deps	33s
Test checkout-and-setup / test-low-risk-without-prep-deps	24s
Test checkout-and-setup / test-no-input	4s
Test checkout-and-setup / test-bad-input-number	4s
Test checkout-and-setup / test-bad-input-string	6s
Test checkout-and-setup / test-do-not-checkout-twice	23s
Test checkout-and-setup / test-high-risk-after-prep-deps	29s
Test checkout-and-setup / test-low-risk-string	7s
Test checkout-and-setup / test-high-risk-string	30s
Test checkout-and-setup / test-low-risk-after-prep-deps	9s
All jobs pass	3s
All jobs completed	-1s
	4m 15s

Provide feedback