fix: actionlint and shellcheck workflow triggers

leanprover · May 9, 2024 · 125cf19 · 125cf19
1 parent 550a70c
commit 125cf19
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 9 deletions.
diff --git a/.github/workflows/actionlint.yml b/.github/workflows/actionlint.yml
@@ -2,13 +2,12 @@ name: Actionlint
 on:
   push:
     branches:
-      - 'master'
+      - 'main'
     paths:
       - '.github/**'
   pull_request:
     paths:
       - '.github/**'
-  merge_group:
 
 jobs:
   actionlint:

diff --git a/.github/workflows/shellcheck.yml b/.github/workflows/shellcheck.yml
@@ -2,13 +2,8 @@ name: ShellCheck
 on:
   push:
     branches:
-      - 'master'
-    paths:
-      - '.github/**'
+      - 'main'
   pull_request:
-    paths:
-      - '.github/**'
-  merge_group:
 
 jobs:
     lint:
@@ -17,4 +12,4 @@ jobs:
         - name: Checkout code
           uses: actions/checkout@v4
         - name: Run ShellCheck
-          uses: azohra/[email protected]
+          uses: azohra/[email protected]