presubmit

Add various prompts to prompts.md to assist with project maintenance … #3555

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
presubmit	12m 35s
checker (VERIFY_BOT)	25m 32s
checker (CHECK_BOT)	1m 58s
checker (UNIT_TEST_BOT)	14m 24s
checker (DART_BOT)	2m 7s
	56m 36s