Skip to content

Provide better stage phase assigning (#39) #88

Provide better stage phase assigning (#39)

Provide better stage phase assigning (#39) #88

Workflow file for this run

name: Sync GitHub Pages
on:
push:
jobs:
sync-documentation:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
distribution: temurin
java-version: 17
- name: Run Documentation with Gradle
run: |
./gradlew task documentation
- name: Commit and push documentation
run: |
if [[ `git status --porcelain docs` ]]; then
git config user.name "TT-CX-User"
git config user.email "90439695+TT-CX-User@users.noreply.github.com"
git add docs
git commit --signoff -m "Sync documentation"
git push
else
echo "Nothing to commit, documentation is up to date."
fi