presubmit

[verifier] migrate off deprecated Java Lexer (#8769) #3633

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
presubmit	12m 54s
checker (DART_BOT)	2m 2s
checker (UNIT_TEST_BOT)	15m 1s
checker (VERIFY_BOT)	20m 25s
checker (CHECK_BOT)	1m 42s
	52m 4s