Remove unused grok dependencies and improve PPA upload script #252

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (18.04)	1s
build (20.04)	1s
check_20_04	0s
check_VMs	0s
	2s