From 517d98367a68a7be68460fc8b06f5f7239e952dc Mon Sep 17 00:00:00 2001
From: Julian Arkenau <julian.arkenau@dfki.de>
Date: Fri, 20 Oct 2023 08:35:38 +0200
Subject: [PATCH] run workflows if their corresponding files changed

---
 .github/workflows/docker.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml
index 40229e1..2bcb52d 100644
--- 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