Skip to content

⚡ Bolt: Replace push_str(&format!(...)) with write!/writeln! in report generation - #375

Merged
github-actions[bot] merged 1 commit into
mainfrom
bolt-report-optimizations-1455940033649940502
Nov 5, 2026
Merged

github-actions[bot] merged 1 commit into
mainfrom
bolt-report-optimizations-1455940033649940502

Commits

  1. Commits on Nov 5, 2026