CI

Move still-relevant things from TADA.md (crudely) to TODO.md #128

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (py 3.13)	20s
test (py 3.12)	20s
test (py 3.13)	21s
test (py 3.14)	34s
check (py 3.12)	24s
check (py 3.14)	34s
format (py 3.12)	20s
format (py 3.14)	27s
format (py 3.13)	24s
	3m 44s