Def runCmd

Modification history

2026-03-26 18:37

scripts/nightly-testing-checklist.lean

feat(scripts): add nightly-testing-checklist tool (#37196) …

Added runCmd View on Github →

2026-01-30 13:30

LongestPole/Main.lean

chore: remove LongestPole (#34354) …

Deleted runCmd View on Github →

2024-04-28 22:28

LongestPole/Main.lean

feat: 'lake exe pole' computes the longest pole (#8361) …

Added runCmd View on Github →