mix dds (dds v0.23.0)

Copy Markdown

Runs the dds toolchain against this repository — witness, check, and the judged leg when needed — then dumps the issues. Exit 0 PASS · 1 FAIL · 2 INCOMPLETE.

mix dds
mix dds --mechanical

The witness/replay legs want pip install tree-sitter tree-sitter-elixir.