Contributing

All contributions welcome. PRs are checked by CI.

Run tests

nix flake check github:vic/checkmate --override-input target . -L

nix run github:vic/checkmate#fmt --override-input target .

Create a minimal reproduction as a test case in checkmate/modules/tests/ and send a PR.

Failing tests are the best way to report bugs — they become the regression test once fixed.

The docs site lives under ./docs/. Run locally:

cd docs && pnpm install && pnpm run dev