Update .github/workflows

Wei18 · Mar 23, 2024 · 161253f · 161253f
1 parent 1259267
commit 161253f
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 53 deletions.
diff --git 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
@@ -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
@@ -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