Refactor metrics format and sync tests (#34) #54

	name: Sync GitHub Pages

	on:
	push:

	jobs:
	sync-documentation:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v2
	with:
	fetch-depth: 0

	- name: Set up JDK 11
	uses: actions/setup-java@v1
	with:
	java-version: 11

	- name: Run Documentation with Gradle
	run: \|
	./gradlew task documentation

	- name: Commit and push documentation
	run: \|
	if [[ `git status --porcelain docs` ]]; then
	git config user.name "$GITHUB_ACTOR"
	git config user.email "$GITHUB_ACTOR@users.noreply.github.com"
	git add docs
	git commit --signoff -m "Sync documentation"
	git push
	else
	echo "Nothing to commit, documentation is up to date."
	fi

Provide feedback