Def allScriptsDocumented

Modification history

2025-05-16 15:37

scripts/lint-style.lean

feat(lint-style): enforce modules are named in UpperCamelCase (#24654) …

Deleted allScriptsDocumented View on Github →

2024-10-31 00:24

scripts/lint-style.lean

chore(scripts): require all scripts to be documented in the README (#14539) …

Added allScriptsDocumented View on Github →