ci

stdin reopening for windows #177

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	21s
tests (3.11)	27s
nix	30s
tests (3.13)	36s
tests (3.10)	29s
tests (3.9)	36s
type-checker	20s
tests (3.12)	25s
	3m 44s