Skip to content

Merge branch 'master' into javadoc #19

Merge branch 'master' into javadoc

Merge branch 'master' into javadoc #19

name: Deploy Javadoc
on:
push:
branches:
- javadoc
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: Deploy JavaDoc 🚀
uses: MathieuSoysal/[email protected]
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
java-version: 17
javadoc-branch: javadoc
java-distribution: temurin
project: maven
javadoc-source-folder: docs
# url will be https://<username>.github.io/<repo>/<target-folder>
# update this to the project version number
target-folder: 3