Build release artifacts

Switch to OIDC for signing login. #103

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-input	16s
build-source	1m 16s
build-docs	18m 51s
build-android (x86_64)	20m 53s
build-android (aarch64)	3m 47s
test-source	27m 45s
	1h 12m 48s