From 6ad23861c08d57cd40b801820c63bd70e66448ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Markus=20B=C3=B6ck?= <markus.boeck02@gmail.com>
Date: Thu, 9 May 2024 18:16:03 +0100
Subject: [PATCH] also run docker build on workflow file changes

---
 .github/workflows/build.yaml     | 2 +-
 .github/workflows/toolchain.yaml | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 08567ac..df95048 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -92,7 +92,7 @@ jobs:
         run: |
           mkdir ./toolchain
           # TODO: This should use main instead before landing.
-          docker run --rm ghcr.io/opencompl/Quidditch/toolchain:${{ github.ref_name }} tar -cC /opt/quidditch-toolchain . \
+          docker run --rm ghcr.io/opencompl/quidditch/toolchain:${{ github.ref_name }} tar -cC /opt/quidditch-toolchain . \
           | tar -xC ./toolchain
 
       - name: Set up Python
diff --git a/.github/workflows/toolchain.yaml b/.github/workflows/toolchain.yaml
index eb5a7df..a113243 100644
--- a/.github/workflows/toolchain.yaml
+++ b/.github/workflows/toolchain.yaml
@@ -3,6 +3,7 @@ on:
   push:
     paths:
       - runtime/toolchain/**
+      - .github/workflows/toolchain.yaml
   workflow_dispatch: