feat(ci): enhance documentation build workflow to collect ci.json files alongside binaries for improved documentation completeness

Author: JakubAndrysek

.github/workflows/docs_build.yml

@@ -158,10 +158,17 @@ jobs:
             output_dir="docs/_static/binaries/libraries/${relative_path}/${target}"
             mkdir -p "$output_dir"
 
-            # Copy only the .merged.bin file
+            # Copy the .merged.bin file
             cp "$bin_file" "$output_dir/"
             echo "  → Copied to: $output_dir/$bin_name"
             bin_count=$((bin_count + 1))
+
+            # Also copy ci.json if it exists in the same directory
+            ci_json_file=$(dirname "$bin_file")/ci.json
+            if [ -f "$ci_json_file" ]; then
+              cp "$ci_json_file" "$output_dir/"
+              echo "  → Copied ci.json to: $output_dir/ci.json"
+            fi
           done < <(find docs_binaries -type f -name "*.merged.bin")
           
           echo ""

.github/workflows/push.yml

@@ -217,12 +217,12 @@ jobs:
       - name: Collect docs binaries (macOS only)
         if: matrix.os == 'macOS-latest'
         run: |
-          echo "Collecting binaries for documentation from macOS build..."
+          echo "Collecting binaries and ci.json files for documentation from macOS build..."
           mkdir -p docs_binaries
 
           # Find all compiled binaries from the build
           find "$HOME/.arduino/tests" -type f -name "*.bin" 2>/dev/null | while read -r bin_file; do
-            echo "Found: $bin_file"
+            echo "Found binary: $bin_file"
 
             # Preserve directory structure
             rel_path="${bin_file#$HOME/.arduino/tests/}"
@@ -231,10 +231,27 @@ jobs:
             cp "$bin_file" "$target_dir/"
           done
 
+          # Also find and copy ci.json files
+          find "$HOME/.arduino/tests" -type f -name "ci.json" 2>/dev/null | while read -r ci_file; do
+            echo "Found ci.json: $ci_file"
+
+            # Preserve directory structure
+            rel_path="${ci_file#$HOME/.arduino/tests/}"
+            target_dir="docs_binaries/$(dirname "$rel_path")"
+            mkdir -p "$target_dir"
+            cp "$ci_file" "$target_dir/"
+          done
+
+          echo ""
+          echo "Collected files for docs:"
+          echo "  Binary files (.bin): $(find docs_binaries -type f -name "*.bin" 2>/dev/null | wc -l)"
+          echo "  Config files (ci.json): $(find docs_binaries -type f -name "ci.json" 2>/dev/null | wc -l)"
+          echo ""
+          echo "Sample binaries:"
+          find docs_binaries -type f -name "*.bin" 2>/dev/null | head -10 || true
           echo ""
-          echo "Collected binaries for docs:"
-          find docs_binaries -type f -name "*.bin" | head -20
-          echo "Total: $(find docs_binaries -type f -name "*.bin" | wc -l) binary files"
+          echo "Sample ci.json files:"
+          find docs_binaries -type f -name "ci.json" 2>/dev/null | head -10 || true
 
       - name: Save docs binaries to cache (macOS only)
         if: matrix.os == 'macOS-latest'