Skip to content

Publish Armeria site #44

Publish Armeria site

Publish Armeria site #44

Workflow file for this run

name: Publish Armeria site
on:
workflow_dispatch:
inputs:
version:
description: 'Release Version'
required: true
type: string
push:
tags:
- armeria-*
env:
LC_ALL: 'en_US.UTF-8'
jobs:
publish-site:
if: github.repository == 'line/armeria'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install svgbob_cli
run: |
sudo apt-get -y install cargo && cargo install svgbob_cli
echo "$HOME/.cargo/bin" >> $GITHUB_PATH
- id: setup-jdk-21
name: Set up JDK 21
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '21'
- name: Setup Gradle
uses: gradle/actions/setup-gradle@v4
- name: Build the site
run: |
if [ "${{ github.event_name }}" == "workflow_dispatch" ]; then
./gradlew --no-daemon --stacktrace --max-workers=2 --parallel -PgithubToken=${{ secrets.GITHUB_TOKEN }} -Pversion=${{ inputs.version }} site
else
./gradlew --no-daemon --stacktrace --max-workers=2 --parallel -PgithubToken=${{ secrets.GITHUB_TOKEN }} site
fi
- name: Deploy the site
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: site/public