Post merge

Merge remote-tracking branch 'origin/feature/fix-VERSION-file' into w… #72

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	15m 49s
build / build-shell-ui / shell-ui	59s
build / build-docs / docs	1m 48s
build / write-final-status	7s
publish / publish-shell-ui	18s
	19m 1s