From 260ce4118683d7e4391c5a7b6227c27fdc345041 Mon Sep 17 00:00:00 2001
From: Brian McKeon <135748266+brianjosephmckeon@users.noreply.github.com>
Date: Fri, 16 Feb 2024 01:09:35 -0500
Subject: [PATCH] Fixed readme.

Support for doctest was removed from CI.
---
 README.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index a5d52a0..ab65b8d 100644
--- 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.)