CI

ci: add CI workflow for PR checks #970

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	59s
typecheck	24s
test (22, ubuntu-latest)	4m 12s
test (20, ubuntu-latest)	4m 28s
test (24, ubuntu-latest)	4m 19s
	14m 22s