.github: only deploy ingress if ingress changed on push to devel

BacLuc · BacLuc · commit 471052e5733d · 2025-04-13T12:41:42.000+02:00
diff --git a/.github/workflows/deploy-ingress.yml b/.github/workflows/deploy-ingress.yml
@@ -10,6 +10,9 @@ on:
   push:
     branches:
       - devel
+    paths:
+      - .github/workflows/deploy-ingress.yml
+      - .ops/ingress/**
 
 jobs:
   deploy-ingress:
