Merge pull request #317 from wy-lucky/main #1335

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 45s
typos	8s
test (1.19)	4m 38s
test (1.20)	1m 20s
verify-codegen	37s
	8m 28s