CI: add .config diff to PR comment

help with tracking configuration changes

Signed-off-by: Robert Gałat <[email protected]>

.github/workflows/on-pr_publish_comment.yml

@@ -49,6 +49,19 @@ jobs:
 
           python3 scripts/ci/compare_size_reports.py -o old.json -n new.json --md_output --show_only_diff > memory_usage.md
 
+      - name: Generate .config diff
+        run: |
+          cd current
+          configs=$(find . -name .config)
+          cd ..
+          echo "<details><summary>.config diff</summary>" >> memory_usage.md
+          for cfg in configs
+          do
+            printf "\n\n%s\n%-75s|%s\n" "${cfg}" "old" "new" >> memory_usage.md
+            diff --text --report-identical-files --suppress-common-lines --side-by-side --label old --label new <(sort old/${cfg}) <(sort current/${cfg}) >> memory_usage.md
+          done
+          echo "<\details>" >> memory_usage.md
+
       - name: Find Comment
         uses: peter-evans/find-comment@v2
         id: fc

.github/workflows/run_tests.yml

@@ -14,6 +14,7 @@ on:
 jobs:
   build_manual_tests:
     strategy:
+      fail-fast: false
       matrix:
         subset: [1, 2, 3, 4, 5]
     env:
@@ -148,7 +149,7 @@ jobs:
 
   build-and-test_on_hw:
     strategy:
-      fail-fast: true
+      fail-fast: false
       matrix:
         subset: [1, 2, 3, 4]
         board: ${{ fromJson(inputs.boards_to_test) }}

.github/workflows/samples_build.yml

@@ -14,6 +14,7 @@ on:
 jobs:
   build_samples:
     strategy:
+      fail-fast: false
       matrix:
         subset: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]
     env: