Def ANSIColor.red

Modification history

2026-03-26 18:37
scripts/nightly-testing-checklist.lean
feat(scripts): add nightly-testing-checklist tool (#37196) …
Added ANSIColor.redView on Github →