ci: Use cache restore-keys

2026-05-23 14:41:38 -04:00 · 2025-08-20 08:53:24 -06:00
parent cbc4510851
commit d06190c468
1 changed files with 2 additions and 1 deletions
@@ -48,7 +48,8 @@ jobs:
          include/PR/mbi.h
          include/PR/ultratypes.h
          include/compiler/gcc/stdlib.h
-        key: ${{ runner.os }}-${{ matrix.version }}
+        key: ${{ runner.os }}-${{ matrix.version }}-${{ github.sha }}
+        restore-keys: ${{ runner.os }}-${{ matrix.version }}-

    # Build the project
    - name: Build