Skip to content

Merge branch 'master' into dev #2

Merge branch 'master' into dev

Merge branch 'master' into dev #2

# modified from https://github.com/MathieuSoysal/Javadoc-publisher.yml
name: Publish Javadoc
on:
push:
branches:
- dev
permissions:
contents: write
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: Publish JavaDoc
uses: MathieuSoysal/[email protected]
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
javadoc-branch: javadoc
java-version: 21
distribution: temurin
target-folder: docs
project: gradle