Docs #156
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Docs | |
| on: | |
| workflow_run: | |
| workflows: [CI] | |
| types: [completed] | |
| branches: [master] | |
| push: | |
| branches: [master] | |
| paths: | |
| - scripts/fix-javadoc.sh | |
| concurrency: | |
| cancel-in-progress: true | |
| group: ${{github.workflow}}-${{github.ref_name}} | |
| jobs: | |
| test: | |
| name: Publish docs | |
| runs-on: ubuntu-latest | |
| if: >- | |
| github.event_name == 'push' || | |
| github.event.workflow_run.conclusion == 'success' | |
| permissions: | |
| contents: read | |
| id-token: write | |
| pages: write | |
| environment: | |
| name: github-pages | |
| url: ${{steps.deployment.outputs.page_url}} | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v6 | |
| with: | |
| submodules: true | |
| - name: Set up Java | |
| uses: actions/setup-java@v5 | |
| with: | |
| distribution: temurin | |
| java-version: 25 | |
| cache: maven | |
| - name: Get tree-sitter commit | |
| run: printf 'TREE_SITTER_REF=%s\n' "$(git rev-parse HEAD:core)" >> "$GITHUB_ENV" | |
| - name: Set up tree-sitter library | |
| with: | |
| tree-sitter-ref: ${{env.TREE_SITTER_REF}} | |
| uses: tree-sitter/setup-action/lib@v2 | |
| - name: Set up tree-sitter-java | |
| run: |- | |
| git clone --depth=1 https://github.com/tree-sitter/tree-sitter-java | |
| make -Ctree-sitter-java all install PREFIX="$RUNNER_TOOL_CACHE/tree-sitter/lib" | |
| - name: Set up jextract | |
| run: |- | |
| curl -LSs '${{env.JEXTRACT_URL}}_linux-x64_bin.tar.gz' | tar xzf - -C "$RUNNER_TOOL_CACHE" | |
| printf '%s/jextract-25/bin\n' "$RUNNER_TOOL_CACHE" >> "$GITHUB_PATH" | |
| env: | |
| # NOTE: keep this in sync with ci, deploy | |
| JEXTRACT_URL: https://download.java.net/java/early_access/jextract/25/1/openjdk-25-jextract+1-1 | |
| - name: Build javadoc | |
| run: mvn --no-transfer-progress javadoc:javadoc antrun:run@fix-javadoc | |
| - name: Upload pages artifact | |
| uses: actions/upload-pages-artifact@v4 | |
| with: | |
| path: target/reports/apidocs | |
| - name: Publish to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |