Repository navigation

CI Build

Cancel requests both ways with $/cancel_request #116

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	7m 9s
contention	53s
errorprone	7m 6s
lincheck	10m 17s
	25m 25s