Skip to content
Build documentation site

Update GitHub Actions. #18

Sign in to view logs

Update GitHub Actions.

Update GitHub Actions. #18

Workflow file for this run

.github/workflows/docs.yml at e913e32
name: Build documentation site
on:
push:
branches:
- master
jobs:
mkdocs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: 3.9
- name: Cache pip
uses: actions/cache@v4
with:
path: ~/.cache/pip
key: ${{ runner.os }}-pip-${{ hashFiles('requirements.txt') }}
restore-keys: |
${{ runner.os }}-pip-
${{ runner.os }}-
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
distribution: adopt-openj9
java-version: 17
- name: Cache local Maven repository
uses: actions/cache@v4
with:
path: ~/.m2/repository
key: ${{ runner.os }}-maven-docs-${{ hashFiles('**/pom.xml') }}
restore-keys: |
${{ runner.os }}-maven-docs-
- name: Generate maven site
run: mvn -B clean test site jacoco:report coveralls:report --file pom.xml -DrepoToken=${{ secrets.COVERALLS_REPO_TOKEN }} -Djarsigner.skip=true
- name: Copy javadocs to site folder
run: cp -r target/site/ docs/mvnsite/
- name: Run script
run: bash .github/workflows/mkdocs/mkdocs.sh
shell: bash