presubmit

merging from main #3738

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checker (UNIT_TEST_BOT)	7m 7s
checker (VERIFY_BOT)	10m 44s
checker (DART_BOT)	2m 7s
presubmit	5m 58s
checker (CHECK_BOT)	1m 59s
	27m 55s