Add GitHub docs workflow

Closes gh-5

Author: rainboyan

.github/workflows/docs.yml

@@ -0,0 +1,45 @@
+name: Grace Doc
+on:
+  push:
+    branches:
+      - 2023.0.x
+    paths:
+      - 'docs/**'
+jobs:
+  # Build job
+  build:
+    permissions:
+      contents: read  #  to fetch code (actions/checkout)
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        java: ['17']
+    steps:
+      - name: Checkout repository
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+      - name: Setup JDK
+        uses: actions/setup-java@v4
+        with:
+          distribution: 'adopt'
+          java-version: ${{ matrix.java }}
+      - name: Setup Gradle
+        uses: gradle/actions/setup-gradle@v4
+      - name: Get the current version
+        id: getversion
+        run: |
+          echo "$(cat gradle.properties | grep 'projectVersion=' | awk '{print $1}')" >> "$GITHUB_OUTPUT"
+      - name: Generate Docs
+        id: build
+        run: ./gradlew docs
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: rainboyan/[email protected]
+        env:
+          VERSION: ${{ steps.getversion.outputs.projectVersion }}
+          TOKEN: ${{ secrets.GH_TOKEN }}
+          BRANCH: gh-pages
+          FOLDER: build/docs

.github/workflows/gradle.yml

@@ -11,7 +11,7 @@ jobs:
   build:
     permissions:
       contents: read  #  to fetch code (actions/checkout)
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         java: ['17']
@@ -40,7 +40,7 @@ jobs:
     permissions:
       contents: read  #  to fetch code (actions/checkout)
       checks: write
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         java: ['17']

.github/workflows/release.yml

@@ -10,7 +10,7 @@ permissions:
 
 jobs:
   create_draft_release:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
@@ -24,7 +24,7 @@ jobs:
             ${{ github.ref_name }}
   release_and_publish:
     needs: create_draft_release
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         java: ['17']
@@ -53,6 +53,17 @@ jobs:
       - name: Set the current release version
         id: release_version
         run: echo "release_version=${GITHUB_REF:11}" >> $GITHUB_OUTPUT
+      - name: Generate Docs
+        id: build
+        run: ./gradlew docs
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: rainboyan/[email protected]
+        env:
+          VERSION: ${{ steps.release_version.outputs.release_version }}
+          TOKEN: ${{ secrets.GH_TOKEN }}
+          BRANCH: gh-pages
+          FOLDER: build/docs
       - name: Generate secring file
         id: secring
         env: