presubmit

Add dashTool and dashIdeName params #3959

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checker (DART_BOT)	1m 45s
presubmit	3m 33s
checker (UNIT_TEST_BOT)	6m 52s
checker (VERIFY_BOT)	14m 12s
checker (CHECK_BOT)	1m 24s
	27m 46s