add echo

savannahostrowski · Jan 10, 2025 · a791c15 · a791c15
1 parent c88d3e7
commit a791c15
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/jit.yml b/.github/workflows/jit.yml
@@ -176,8 +176,6 @@ jobs:
           # get the type of the file
           file_type=$(file artifacts/*.patch)
 
-
-          
       - name: Aggregate stencil patches
         run: |
           aggregated_patch_file="aggregated_jit_stencils.patch"
@@ -186,6 +184,7 @@ jobs:
               for patch_file in $(find "$dir" -type f -name "*.patch"); do
                   # if patch name isn't aggregated_jit_stencils.patch
                   if [[ "$patch_file" == "$aggregated_patch_file" ]]; then
+                    echo "Apply patch $patch_file"
                     cat "$patch_file" >> "$aggregated_patch_file"
                   fi
               done