Fixed readme.

Support for doctest was removed from CI.
byteverse · Feb 16, 2024 · 260ce41 · 260ce41
1 parent 5720bd4
commit 260ce41
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -62,4 +62,7 @@ do not require this to be run. To run the doctests, make sure you have
     cabal build
     cabal repl --build-depends=QuickCheck --with-ghc=doctest --repl-options='-fno-warn-orphans'
 
-Doctest now runs as part of CI.
+This runs incredibly slowly, but it works for now. Doctest is not run by CI,
+so if you make a change that adds more doctests, it needs to be run by hand
+by someone. (The maintainer is happy to do this if you're on a platform
+where doctest is finicky.)