ci

Allow querying by kind #128

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	35s
tests (3.9)	14s
type-checker	27s
tests (3.10)	14s
nix	35s
tests (3.11)	12s
tests (3.12)	15s
tests (3.13)	23s
	2m 55s