diff --git a/CHANGELOG b/CHANGELOG.md
similarity index 57%
rename from CHANGELOG
rename to CHANGELOG.md
index 8380b5f24fdd..ed16c5f372e5 100644
--- a/CHANGELOG
+++ b/CHANGELOG.md
@@ -6,9 +6,10 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 
 ## [0.23.0]
 
-### **Breaking Changes**
+### Breaking Changes
 
-- The second parameter in the `kani::any_where` function (`_msg: &'static str`) was removed to make the function more ergonomic to use.
+- Remove the second parameter in the `kani::any_where` function by @zhassan-aws in #2257  
+We removed the second parameter in the `kani::any_where` function (`_msg: &'static str`) to make the function more ergonomic to use.
 We suggest moving the explanation for why the assumption is introduced into a comment.
 For example, the following code:
 ```rust
@@ -19,3 +20,7 @@ should be replaced by:
     // Restrict the length to a value less than 5
     let len: usize = kani::any_where(|x| *x < 5);
 ```
+
+### Major Changes
+
+- Enable the build cache to avoid recompiling crates that haven't changed, and introduce `--force-build` option to compile all crates from scratch by @celinval in #2232. 
diff --git a/Cargo.toml b/Cargo.toml
index 7a97b0bb791e..669ea2790766 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -14,7 +14,7 @@ repository = "https://github.com/model-checking/kani"
 documentation = "https://model-checking.github.io/kani/"
 homepage = "https://github.com/model-checking/kani"
 # N.B. Cargo.* is included automatically:
-include = ["/src", "/build.rs", "/rust-toolchain.toml", "/LICENSE-*", "/README.md", "/CHANGELOG"]
+include = ["/src", "/build.rs", "/rust-toolchain.toml", "/LICENSE-*", "/README.md", "/CHANGELOG.md"]
 
 [dependencies]
 anyhow = "1"