Def help

Modification history

2025-07-29 13:48
Shake/Main.lean
feat: remove (upstreamed) shake (#27632) …
Deleted helpView on Github →
2025-04-21 15:04
Shake/Main.lean
feat(Shake): autodetect the module(s) to shake (#24255) …
Modified helpView on Github →
2024-01-15 00:29
Shake/Main.lean
feat: add `lake exe shake` tree shaking tool (#9346) …
Added helpView on Github →
2023-01-03 21:54
Cache/Main.lean
feat: caching build files on Azure (#1230) …
Added helpView on Github →