Files
orca/.github/scripts
Neil ac48d753a7 ci: color added/deleted LoC counts in PR summary (#14839)
* ci: color added/deleted LoC counts in PR summary

* ci: use GitHub color-swatch dots for added/deleted LoC counts

* ci: color LoC counts with LaTeX textsf

* ci: bold LoC counts; render zero in white

* ci: render LoC counts large bold sans-serif

* ci: use bold math font for LoC counts

* ci: color only the + and - signs on LoC counts
2026-08-15 23:18:20 -07:00
..