Revert "github: Remove commit ID from cache keys"

Without commit ID, no new caches are created as the key is always the same. This reverts commit 60f4c86780.
2026-04-21 11:05:19 +02:00
parent 60f4c86780
commit e0fb06c9cc
7 changed files with 30 additions and 12 deletions
@@ -54,9 +54,11 @@ jobs:
      uses: actions/cache@v5
      with:
        path: ~/.cache/ccache
-        key: ccache-ubuntu-latest-gcc-codeql
+        key: ccache-ubuntu-latest-gcc-codeql-${{ github.sha }}
        restore-keys: |
-          ccache-ubuntu-latest-gcc-all
+          ccache-ubuntu-latest-gcc-codeql
+          ccache-ubuntu-latest-gcc-all-${{ github.sha }}
+          ccache-ubuntu-latest-gcc-all-
          ccache-ubuntu-latest-gcc-
    - if: matrix.language == 'cpp'
      run: |