Deploy Documentation to Github Pages

chore(deps): update dependency maven to v3.9.13 (#1938) #946

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	4m 43s
deploy	10s
	4m 53s