From 006fd88c9669a50695e5bf33c8b961efff729ad8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 12 Mar 2025 22:32:32 +0100
Subject: [PATCH] CHANGES.

---
 CHANGES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index b957754..7c5cffd 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
-- 
GitLab