Build and deploy to GitHub Pages

Disable ButtonBoxBridge subproject #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-javadoc	37s
build-library	1m 1s
combine	6s
deploy	10s
	1m 54s