Build release artifacts

Update release machines to windows-2025 #286

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-input	13s
build-docs	5m 35s
build-android (x86_64)	22m 37s
build-android (aarch64)	6m 33s
build-source	1m 28s
test-source	9m 44s
test-docs	36s
	46m 46s