Skip to content

Merge branch "2023-08-Needle_Navigation" into master #29

Merge branch "2023-08-Needle_Navigation" into master

Merge branch "2023-08-Needle_Navigation" into master #29

name: Deploy Javadoc
on:
push:
branches:
- master
pull_request:
branches:
- master
permissions:
contents: write
pages: write
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: Deploy Javadoc
uses: MathieuSoysal/Javadoc-publisher.yml@v2.4.0
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
javadoc-branch: javadoc
java-version: 20
target-folder: docs
project: gradle