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:
29
29
with :
30
30
path : ' **/.cache'
31
31
read-only : true
32
- key : ${{ inputs.key }}-pr-${{ github.sha }}
32
+ key : codeql-compile- ${{ inputs.key }}-pr-${{ github.sha }}
33
33
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-
37
37
- name : Fill cache (push)
38
38
if : ${{ github.event_name != 'pull_request' }}
39
39
uses : erik-krogh/actions-cache@a88d0603fe5fb5606db9f002dfcadeb32b5f84c6
40
40
with :
41
41
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
43
43
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-
46
46
- name : Fill compilation cache directory
47
47
id : fill-compilation-dir
48
48
shell : bash
You can’t perform that action at this time.
0 commit comments