Build release artifacts

Cease building PDF documentation in releases #111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-input	17s
build-source	1m 16s
build-docs	17m 10s
build-android (aarch64)	3m 52s
build-android (x86_64)	20m 51s
test-source	32m 26s
	1h 15m 52s