copilot: Document changes in CHANGELOG. Refs #472.

ivanperez-keera · ivanperez-keera · commit e0dd7f0b49d2 · 2024-01-07T04:29:32.000-08:00
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,7 +1,8 @@
-2023-12-27
+2024-01-06
         * Enable tests for copilot-theorem in CI script. (#474)
         * Enable tests for copilot-libraries in CI script. (#475)
         * Replace uses of forall with forAll. (#470)
+        * Update CI job to check for MISRA compliance with cppcheck. (#472)
 
 2023-11-07
         * Version bump (3.17). (#466)
