Repository navigation

e2e: a program runs on an attached Android device through adb-run (#622) #544

Job	Run time
invariants (linux-aarch64)	5m 3s
invariants (windows-x86_64)	4m 26s
invariants (macos-arm64)	3m 25s
invariants (linux-x86_64)	5m 39s
scan (macos-arm64)	3m 45s
scan (windows-x86_64)	7m 19s
scan (linux-aarch64)	3m 41s
scan (linux-x86_64)	9m 51s
coverage (every host the table names was scanned)	7s
	43m 16s