CI

ci: add CI workflow for PR checks #972

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	25s
test (22, ubuntu-latest)	4m 41s
test (20, ubuntu-latest)	5m 14s
lint	57s
test (24, ubuntu-latest)	4m 3s
	15m 20s