also run docker build on workflow file changes

opencompl · May 9, 2024 · 6ad2386 · 6ad2386
1 parent 10f7c3c
commit 6ad2386
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -3,6 +3,7 @@ on:
   push:
     paths:
       - runtime/toolchain/**
+      - .github/workflows/toolchain.yaml
   workflow_dispatch:
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,6 +3,7 @@ on: @@
       push:
         paths:
           - runtime/toolchain/**
+          - .github/workflows/toolchain.yaml
       workflow_dispatch:
@@ Expand Down @@