Garmelon 6dcd6c8f08 chore: reformat all cmake files (#12218) ...

The script to run for reformatting is `script/fmt`.

2026-01-28 18:23:08 +00:00

..

Modules

chore: reformat all cmake files (#12218)

2026-01-28 18:23:08 +00:00

check_failure.sh

fix(shell/lean): Lua repl missing, incorrect exit code in interactive mode, missing tests

2013-12-09 12:25:19 -08:00

run_checker.sh

feat(checker): add simple pretty-printing

2017-01-31 10:20:55 +01:00