diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index 3faaaf8b6c6..63164be8a7d 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.github/workflows/pull-request-checks.yaml
@@ -803,7 +803,7 @@ jobs:
       - name: Configure CMake CBMC build with coverage instrumentation parameters
         run: cmake -S . -Bbuild -Denable_coverage=1 -Dparallel_tests=2 -DCMAKE_CXX_COMPILER=/usr/bin/g++
       - name: Zero ccache stats and limit in size
-        run: ccache -z --max-size=4G
+        run: ccache -z --max-size=7G
       - name: Execute CMake CBMC build
         run: cmake --build build -- -j2
       - name: Print ccache stats