improve github CI definitions

- skip CI on changes only to changelog/ - reduce permissions of GH token for PR comment
dlang · Sep 4, 2023 · a7c0d24 · a7c0d24
1 parent a639cec
commit a7c0d24
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/alpine.yml b/.github/workflows/alpine.yml
@@ -6,6 +6,8 @@ on:
     branches:
       - master
       - stable
+    paths-ignore:
+      - 'changelog/**'
   push:
     branches:
       - master

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -13,6 +13,8 @@ on:
     branches:
       - master
       - stable
+    paths-ignore:
+      - 'changelog/**'
   push:
     branches:
       - master

diff --git a/.github/workflows/pr_info_intro.yml b/.github/workflows/pr_info_intro.yml
@@ -8,6 +8,9 @@ on:
       - master
       - stable
 
+permissions:
+  pull-requests: write
+
 jobs:
   intro_comment:
     name: Make intro comment

diff --git a/.github/workflows/pr_info_post.yml b/.github/workflows/pr_info_post.yml
@@ -6,6 +6,9 @@ on:
     types:
       - completed
 
+permissions:
+  pull-requests: write
+
 jobs:
   comment:
     name: PR Info