Skip to content
Publish docs

Publish docs #2

Sign in to view logs

Publish docs

Publish docs #2

Workflow file for this run

.github/workflows/publish-docs.yml at 7cc025a
name: Publish docs
on:
pull_request:
types:
- closed
branches: [ "master", "dev" ]
workflow_dispatch:
jobs:
deploy_docs:
runs-on: ubuntu-latest
env:
TERM: dumb
steps:
- uses: actions/checkout@v2
- name: Copy CI gradle.properties
run: mkdir -p ~/.gradle ; cp .github/ci-gradle.properties ~/.gradle/gradle.properties
- name: Setup java
uses: actions/setup-java@v3
with:
distribution: temurin
java-version: 17
- name: Setup Gradle
uses: gradle/gradle-build-action@v2
- name: Setup Python
uses: actions/setup-python@v4
with:
python-version: '3.x'
- name: Install dependencies
run: |
python3 -m pip install --upgrade pip
python3 -m pip install mkdocs-material=="9.*"
- name: Generate docs
run: ./generate_docs.sh
- name: Build site
run: mkdocs build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./site