Python application

Make sure we have a sensible HOME when running in Jenkins #1636

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-baseline	2m 34s
typecheck	8m 24s
build-macos	1m 43s
build-latest	2m 42s
	15m 23s