diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 09f7f9f4..99220650 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -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