File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed
.github/actions/cache-query-compilation Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change @@ -29,20 +29,20 @@ runs:
2929 with :
3030 path : ' **/.cache'
3131 read-only : true
32- key : ${{ inputs.key }}-pr-${{ github.sha }}
32+ key : codeql-compile- ${{ inputs.key }}-pr-${{ github.sha }}
3333 restore-keys : |
34- ${{ inputs.key }}-${{ github.base_ref }}-${{ env.merge_base }}
35- ${{ inputs.key }}-${{ github.base_ref }}-
36- ${{ inputs.key }}-main-
34+ codeql-compile- ${{ inputs.key }}-${{ github.base_ref }}-${{ env.merge_base }}
35+ codeql-compile- ${{ inputs.key }}-${{ github.base_ref }}-
36+ codeql-compile- ${{ inputs.key }}-main-
3737 - name : Fill cache (push)
3838 if : ${{ github.event_name != 'pull_request' }}
3939 uses : erik-krogh/actions-cache@a88d0603fe5fb5606db9f002dfcadeb32b5f84c6
4040 with :
4141 path : ' **/.cache'
42- key : ${{ inputs.key }}-${{ github.ref_name }}-${{ github.sha }} # just fill on main
42+ key : codeql-compile- ${{ inputs.key }}-${{ github.ref_name }}-${{ github.sha }} # just fill on main
4343 restore-keys : | # restore the latest cache if the exact cache is unavailable, to speed up compilation.
44- ${{ inputs.key }}-${{ github.ref_name }}-
45- ${{ inputs.key }}-main-
44+ codeql-compile- ${{ inputs.key }}-${{ github.ref_name }}-
45+ codeql-compile- ${{ inputs.key }}-main-
4646 - name : Fill compilation cache directory
4747 id : fill-compilation-dir
4848 shell : bash
You can’t perform that action at this time.
0 commit comments