Add note to README about running tests

cdepillabout · Dec 8, 2024 · 08a96e7 · 08a96e7
1 parent ef6aef7
commit 08a96e7
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -215,6 +215,14 @@ Feel free to open an
 [PR](https://github.com/cdepillabout/pretty-simple/pulls) for any
 bugs/problems/suggestions/improvements.
 
+### Testing
+
+To run the test suite locally, one must install the executables `doctest` and
+`cabal-doctest`, e.g. with
+`cabal install --ignore-project doctest --flag cabal-doctest`.
+
+Then run the command `cabal doctest`.
+
 ## Maintainers
 
 - [@cdepillabout](https://github.com/cdepillabout)