Build release artifacts

Cease building PDF documentation in releases #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-input	16s
build-source	1m 15s
build-docs	17m 41s
build-android (aarch64)	4m 48s
build-android (x86_64)	19m 50s
test-source	27m 58s
	1h 11m 48s