Post merge

ci/release: add `release` workflow #57

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	20m 41s
build / build-shell-ui / shell-ui	59s
build / build-docs / docs	2m 18s
build / write-final-status	10s
publish / publish-shell-ui	28s
	24m 36s