task: Relax PR check (#55)

harrison-ai · Jun 17, 2024 · 8c0beb3 · 8c0beb3
1 parent adbba91
commit 8c0beb3
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -10,6 +10,8 @@ on:
   push:
     branches:
       - main
+    paths:
+      - 'Dockerfile'
 
 jobs:
   publish:

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -8,6 +8,7 @@ name: Check that a PR is ready for merge to main
 on:
   pull_request:
     branches: [main]
+  merge_group:
 
 env:
   GITHUB_BASE_SHA: ${{ github.event.pull_request.base.sha }}
@@ -21,7 +22,16 @@ jobs:
         with:
             fetch-depth: 0
 
-      - name: Check version number consistency
+      - uses: dorny/paths-filter@v3
+        id: changes
+        with:
+          filters: |
+            src:
+              - 'Dockerfile'
+
+      # run only if Dockerfile was changed
+      - if: steps.changes.outputs.src == 'true'
+        name: Check version number consistency
         run: ./scripts/check-pr.sh
 
       - name: Set up QEMU for Docker
-Original file line number
+Diff line change
@@ Expand Up / @@ -10,6 +10,8 @@ on: @@
       push:
         branches:
           - main
+        paths:
+          - 'Dockerfile'
     jobs:
       publish:
@@ Expand Down @@