aboutsummaryrefslogtreecommitdiff
path: root/lib/checks/dune
AgeCommit message (Expand)Author
2025-08-04Added a lsp serverChimrod
2025-08-01Added dependencies system between the modules in the checksChimrod
2025-01-03Added dynamic check mecanismChimrod
2024-12-02Moved the checks in a dedicated libraryChimrod