CI

ci: add CI workflow for PR checks #971

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	29s
test (20, ubuntu-latest)	4m 35s
lint	1m 3s
test (22, ubuntu-latest)	4m 34s
test (24, ubuntu-latest)	4m 20s
	15m 1s