diff --git a/CHANGES.md b/CHANGES.md index b957754b4c72a1149d673dde68957bd55de2caf5..7c5cffda9267aa2219c00abbdf2c5c104b8db1b9 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -25,6 +25,9 @@ which under infrequent circumstances could appear, has been eliminated. +* Improve Monolith's own `make test` so that it runs reliably in about 20 + seconds (wall clock time) on a modern machine. + ## 2024/11/26 * The documentation of the specification combinators has been re-organized