diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000000..1777c7a190 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,42 @@ +name: Generate javadoc github pages + +on: + push: + branches: [ master ] + workflow_dispatch: + +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: true + +jobs: + docs: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Set up JDK 17 + uses: actions/setup-java@v2 + with: + java-version: 17 + distribution: temurin + - name: Grant execute permission for gradlew + run: chmod +x gradlew + - name: Generate documentation directory + uses: gradle/gradle-build-action@v2.4.2 + with: + arguments: javadoc + - name: Upload artifact + uses: actions/upload-pages-artifact@v1 + with: + path: './build/docs/javadoc' + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@main