Build release artifacts

Include version in release db filename #284

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-input	11s
build-docs	5m 8s
build-source	1m 17s
build-android (aarch64)	4m 16s
build-android (x86_64)	21m 7s
test-source	10m 1s
test-docs	31s
	42m 31s