From 161253f07293e3718c415d83a9e65728d125a781 Mon Sep 17 00:00:00 2001
From: Wei18 <41205mw@gmail.com>
Date: Sat, 23 Mar 2024 10:37:31 +0800
Subject: [PATCH] Update .github/workflows

---
 .github/workflows/CI.yml              |  2 ++
 .github/workflows/Dependabot.yml      |  2 +-
 .github/workflows/Doc.yml             |  2 +-
 .github/workflows/jekyll-gh-pages.yml | 51 ---------------------------
 4 files changed, 4 insertions(+), 53 deletions(-)
 delete mode 100644 .github/workflows/jekyll-gh-pages.yml

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index edaf4a789a..04542e52f8 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - main
+    paths:
+      - 'Sources/**'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
diff --git a/.github/workflows/Dependabot.yml b/.github/workflows/Dependabot.yml
index 86722ec5e6..8083e4d133 100644
--- a/.github/workflows/Dependabot.yml
+++ b/.github/workflows/Dependabot.yml
@@ -3,7 +3,7 @@ name: Dependabot update commit
 on:
   pull_request:
     paths:
-      - 'Submodule/**' 
+      - 'Submodule/**'
 
 permissions:
   contents: write
diff --git a/.github/workflows/Doc.yml b/.github/workflows/Doc.yml
index 07dd3f6108..fdb110f7c2 100644
--- a/.github/workflows/Doc.yml
+++ b/.github/workflows/Doc.yml
@@ -7,7 +7,7 @@ on:
       - edited
   push:
     branches:
-      - 'main'
+      - main
     paths:
       - '.github/workflows/Doc.yml'
 
diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml
deleted file mode 100644
index 44bfa73822..0000000000
--- a/.github/workflows/jekyll-gh-pages.yml
+++ /dev/null
@@ -1,51 +0,0 @@
-# Sample workflow for building and deploying a Jekyll site to GitHub Pages
-name: Deploy Jekyll with GitHub Pages dependencies preinstalled
-
-on:
-  push:
-    branches:
-      - gh-pages
-      
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
-
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
-# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
-concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
-jobs:
-  # Build job
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-      - name: Setup Pages
-        uses: actions/configure-pages@v4
-      - name: Build with Jekyll
-        uses: actions/jekyll-build-pages@v1
-        with:
-          source: ./main
-          destination: ./_site
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-
-  # Deployment job
-  deploy:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    needs: build
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4