Merge pull request #170 from rwth-acis/release/1.3.0 #14

	# This workflow runs the deployJavadoc gradle task and then deploys the javadoc files to GitHub pages.
	# The javadoc files are stored inside the "latest" directory.

	name: Deploy Javadoc (latest)

	# Triggers the workflow on push to master
	on:
	push:
	branches:
	- master

	jobs:
	deploy-javadoc-latest:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- name: Set up JDK 17
	uses: actions/setup-java@v1
	with:
	java-version: 17
	- name: Grant execute permission for gradlew
	run: chmod +x gradlew
	- name: Build with Gradle
	run: ./gradlew deployJavadoc
	- name: Deploy
	uses: JamesIves/[email protected]
	with:
	branch: gh-pages # deploy javadoc on gh-pages branch
	folder: javadoc # folder that should be deployed
	target-folder: latest # where to store the javadoc files

Provide feedback