Merge pull request #7492 from tautschnig/feature/coverage-cache

Increase nominal ccache cache size for coverage CI job

Author: tautschnig

.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