CI

Increase webhook timeout #433

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
type-check (3.10)	16s
type-check (3.11)	17s
type-check (3.13)	16s
lint-and-format	10s
type-check (3.12)	14s
test (3.13)	1m 4s
test (3.10)	2m 41s
test (3.12)	3m 20s
test (3.11)	1m 46s
	10m 4s