Only run when a file has changed

Author: Michael Vasseur

.github/workflows/build-contributor-container-PR.yml

@@ -4,9 +4,15 @@ name: 'Build Contributor container (PR)'
 
 on:
   push:
+    paths:
+      - docker-contributor
+      - .github/workflows/build-contributor-container-PR.yml
   pull_request:
     branches:
       - main
+    paths:
+      - docker-contributor
+      - .github/workflows/build-contributor-container-PR.yml
 
 jobs:
   pr-contributor:

.github/workflows/build-domjudge-container-PR.yml

@@ -2,9 +2,15 @@ name: 'Build domjudge container (PR)'
 
 on:
   push:
+    paths:
+      - .github/workflows/build-domjudge-container-PR.yml
+      - docker
   pull_request:
     branches:
       - main
+    paths:
+      - .github/workflows/build-domjudge-container-PR.yml
+      - docker
 
 env:
   DOMJUDGE_VERSION: M.m.p

.github/workflows/build-gitlab-container-PR.yml

@@ -2,9 +2,17 @@ name: 'Build GitLab CI container (PR)'
 
 on:
   push:
+    paths:
+      - docker-contributor/php-config
+      - docker-gitlabci
+      - .github/workflows/build-gitlab-container-PR.yml
   pull_request:
     branches:
       - main
+    paths:
+      - docker-contributor/php-config
+      - docker-gitlabci
+      - .github/workflows/build-gitlab-container-PR.yml
 
 jobs:
   pr-gitlab: