presubmit

[verifier] migrate off to-be-removed `Messages` API (#8776) #3638

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checker (UNIT_TEST_BOT)	7m 8s
checker (VERIFY_BOT)	25m 43s
checker (DART_BOT)	1m 56s
presubmit	13m 3s
checker (CHECK_BOT)	1m 57s
	49m 47s