presubmit

Syncing with main branch #3771

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
presubmit	5m 58s
checker (VERIFY_BOT)	10m 9s
checker (UNIT_TEST_BOT)	7m 19s
checker (CHECK_BOT)	2m 16s
checker (DART_BOT)	2m 12s
	27m 54s