Build release artifacts

Cease building PDF documentation in releases (#295) #120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-input	16s
build-docs	5m 33s
build-source	1m 20s
build-android (x86_64)	22m 28s
build-android (aarch64)	5m 24s
test-source	28m 57s
	1h 3m 58s