run workflows if their corresponding files changed

DFKI-NI · Oct 20, 2023 · 517d983 · 517d983
1 parent 21f3e52
commit 517d983
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml
@@ -6,6 +6,7 @@ on:
       - 'main'
     paths:
       - ".devcontainer/Dockerfile"
+      - ".github/workflows/*"
   workflow_dispatch:
   schedule:
     # build every friday at 9:00 am