Upgrade Gradle, upgrade dependencies #861

	name: Documentation
	on:
	pull_request:
	branches:
	- master
	push:
	branches:
	- master
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-java@v1
	with:
	java-version: 8
	- uses: eskatos/gradle-command-action@v1
	with:
	arguments: buildDocumentation
	- name: Publish to Github pages
	if: github.event_name == 'push'
	working-directory: docs/html
	run: \|
	git init
	git config user.name "guardsquare-ci"
	git config user.email "[email protected]"
	git add .
	git commit -m "Deploy documentation to Github pages"
	git push --force --quiet https://${{secrets.PROGUARD_GITHUB_TOKEN}}@github.com/Guardsquare/proguard-core master:gh-pages

Provide feedback