Added some formatting to the echo scripts GA

Informatievlaanderen · Dec 20, 2023 · 02f8141 · 02f8141
1 parent c6350ba
commit 02f8141
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/diff_generator.yml b/.github/workflows/diff_generator.yml
@@ -51,8 +51,11 @@ jobs:
               fi
             fi
           done
-          echo -e "$identical_files"
-          echo -e "$different_files"
+          echo "Identical files:"
+          echo "$identical_files"
+          echo "---------------------------------------------------"
+          echo "Different files:"
+          echo "$different_files"
       # - name: Commit and push diff
       #   run: |
       #     cd source