copilot: Document changes in CHANGELOG. Refs #474.

ivanperez-keera · ivanperez-keera · commit e717ae2620bf · 2023-12-20T01:58:25.000-08:00
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2023-12-18
+        * Enable tests for copilot-theorem in CI script. (#474)
+
 2023-11-07
         * Version bump (3.17). (#466)
         * Replace uses of deprecated functions. (#457)
