CI

ci: let the release pull request merge itself on a cadence switch (#180) #719

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	2m 10s
test (2)	4m 46s
test (1)	3m 37s
test-pi-tui	36s
lint	59s
test (5)	3m 41s
test (3)	3m 33s
test (4)	2m 41s
build	3m 49s
test-windows	-1s
test	3s
	25m 54s