diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e486e498..7f9b7165 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -179,7 +179,7 @@ jobs:
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
           kissat_tag: latest
-          cbmc_version: "5.73.0"
+          cbmc_version: "5.95.1"
       - run: |
           git submodule update --init --recursive --checkout
           sudo apt-get update
diff --git a/README.md b/README.md
index d4a4fab9..188c22b2 100644
--- a/README.md
+++ b/README.md
@@ -116,7 +116,7 @@ locations below:
 |                                                       Location                                                       |
 | :------------------------------------------------------------------------------------------------------------------: |
 | [AWS IoT Device SDK for Embedded C](https://github.com/aws/aws-iot-device-sdk-embedded-C#releases-and-documentation) |
-|       [FreeRTOS.org](https://freertos.org/Documentation/api-ref/coreHTTP/docs/doxygen/output/html/index.html)        |
+|       [API Documentation](https://freertos.github.io/coreHTTP/main/index.html)        |
 
 Note that the latest included version of coreHTTP may differ across
 repositories.