CI

Merge pull request #237 from gary-lgy/make-fixes #35

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 15s
typos	4s
test (1.19)	3m 8s
verify-codegen	1m 6s
test (1.20)	1m 28s
	7m 1s