ci

Ignore type problem #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	32s
type-checker	30s
nix	31s
tests (3.8)	13s
tests (3.9)	13s
tests (3.10)	11s
tests (3.11)	19s
tests (3.12)	14s
tests (3.13)	21s
	3m 4s