presubmit

Add dashTool and dashIdeName params (#8969) #3961

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checker (VERIFY_BOT)	10m 10s
checker (DART_BOT)	1m 39s
presubmit	6m 1s
checker (CHECK_BOT)	1m 40s
checker (UNIT_TEST_BOT)	7m 0s
	26m 30s