copilot-bluespec: Document changes in CHANGELOG. Refs #673.

chathhorn-galois · chathhorn-galois · commit f72d605f10e7 · 2025-12-04T15:58:18.000-06:00
diff --git a/copilot-bluespec/CHANGELOG b/copilot-bluespec/CHANGELOG
@@ -1,3 +1,7 @@
+2025-12-04
+        * Disable building testsuite by default, use cabal flag `test-bluespec`
+          to enable. (#673)
+
 2025-11-07
         * Version bump (4.6). (#679)
         * Flip direction of interface inputs and outputs in Bluespec. (#677)
