CI

ci: add CI workflow for PR checks (#1122) #973

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	19s
test (20, ubuntu-latest)	4m 40s
test (22, ubuntu-latest)	4m 28s
lint	1m 9s
test (24, ubuntu-latest)	4m 16s
	14m 52s