1name: Publish docs 2 3on: 4 push: 5 tags: 6 - v* 7 workflow_dispatch: 8 9jobs: 10 deploy_docs: 11 runs-on: ubuntu-latest 12 env: 13 TERM: dumb 14 15 steps: 16 - uses: actions/checkout@v2 17 18 - name: Copy CI gradle.properties 19 run: mkdir -p ~/.gradle ; cp .github/ci-gradle.properties ~/.gradle/gradle.properties 20 21 - name: Setup java 22 uses: actions/setup-java@v3 23 with: 24 distribution: temurin 25 java-version: 17 26 27 - name: Setup Gradle 28 uses: gradle/gradle-build-action@v2 29 30 - name: Setup Python 31 uses: actions/setup-python@v4 32 with: 33 python-version: '3.x' 34 35 - name: Install dependencies 36 run: | 37 python3 -m pip install --upgrade pip 38 python3 -m pip install mkdocs-material=="9.*" 39 40 - name: Generate docs 41 run: ./generate_docs.sh 42 43 - name: Build site 44 run: mkdocs build 45 46 - name: Deploy 47 uses: peaceiris/actions-gh-pages@v3 48 with: 49 github_token: ${{ secrets.GITHUB_TOKEN }} 50 publish_dir: ./site 51