copilot: Document changes in CHANGELOG. Refs #475.

ivanperez-keera · ivanperez-keera · commit 15ca5779c64e · 2023-12-24T20:20:11.000-08:00
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,5 +1,6 @@
-2023-12-18
+2023-12-24
         * Enable tests for copilot-theorem in CI script. (#474)
+        * Enable tests for copilot-libraries in CI script. (#475)
 
 2023-11-07
         * Version bump (3.17). (#466)
