Java CI

chore: Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.7.2 #783

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (11)	1m 27s
build (17)	1m 37s
build (21)	1m 39s
	4m 43s