Build

Make Shift-PgUp and Shift-PgDn scroll by pages rather than lines #789

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (apt-android-7)	4m 9s
build (apt-android-5)	2m 55s
	7m 4s