Merge pull request #358 from LiUSemWeb/develop

update workflow

Author: huanyu-li

.github/workflows/deploy-dev-doc.yml

@@ -0,0 +1,44 @@
+name: Deploy Development Documentation by MkDocs
+
+on:
+  push:
+    branches:
+      - develop
+    paths:
+      - 'dev-documentation/**'
+      - 'mkdocs.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.x'
+
+      - name: Install dependencies
+        run: pip install -r requirements-docs.txt
+
+      - name: Build MkDocs site
+        run: mkdocs build
+
+      - name: Commit and push docs/dev
+        run: |
+          git config --local user.email "action@github.com"
+          git config --local user.name "GitHub Action"
+          git add -f docs/dev/
+          git commit -m "Deploy MkDocs documentation"
+          git push
+      
+      - name: push changes
+        uses: ad-m/github-push-action@master
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          branch: main

.github/workflows/develop.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - develop
+    paths:
+      - 'ontology/**'
 permissions:
   contents: write
 jobs: