Build release artifacts

Run Windows pipeline: update checkbox labels #185

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-input	16s
build-source	1m 17s
build-docs	5m 42s
build-android (aarch64)	5m 3s
build-android (x86_64)	19m 30s
test-source	9m 45s
	41m 33s