diff --git a/.github/workflows/pr_checks.yml b/.github/workflows/pr_checks.yml
index b2d56600..181647e5 100644
--- a/.github/workflows/pr_checks.yml
+++ b/.github/workflows/pr_checks.yml
@@ -323,6 +323,7 @@ jobs:
               repository: FreeRTOS-Kernel,
               org: FreeRTOS,
               branch: main,
+              exclude-dirs: 'portable'
             },
             {
               repository: FreeRTOS-Plus-TCP,
@@ -333,6 +334,7 @@ jobs:
               repository: FreeRTOS,
               org: FreeRTOS,
               branch: main,
+              exclude-dirs: 'ethernet, drivers, FreeRTOS/Demo'
             },
             {
               repository: FreeRTOS-Cellular-Interface,
@@ -418,4 +420,4 @@ jobs:
         with:
           path: repo/${{ matrix.inputs.repository }}
           exclude-files: ${{ matrix.inputs.exclude-files }}
-          exclude-dirs: ethernet, drivers, FreeRTOS/Demo
+          exclude-dirs: ${{ matrix.inputs.exclude-dirs }}
diff --git a/set_up_cbmc_runner/action.yml b/set_up_cbmc_runner/action.yml
index 37f159eb..b82f5e90 100644
--- a/set_up_cbmc_runner/action.yml
+++ b/set_up_cbmc_runner/action.yml
@@ -4,9 +4,9 @@
 name: Set up CBMC runner
 inputs:
   cbmc_version:
-    description: Version number or 'latest' for CBMC
+    description: Version number or '5.95.1' for CBMC. NOTE: This is because of the fact that the 6.0.0 alpha release isn't meant for production use. When the full release happens this should be set back to using the 'latest' https://github.com/diffblue/cbmc/releases/tag/cbmc-6.0.0-alpha
     required: true
-    default: latest
+    default: 5.95.1
   cbmc_viewer_version:
     description: Version number or 'latest' for CBMC Viewer
     required: true