CI

Merge pull request #341 from wy-lucky/main #1406

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	6m 6s
typos	3s
test (1.19)	4m 46s
test (1.20)	5m 31s
verify-codegen	3m 28s
	19m 54s