File tree Expand file tree Collapse file tree 1 file changed +11
-11
lines changed Expand file tree Collapse file tree 1 file changed +11
-11
lines changed Original file line number Diff line number Diff line change @@ -24,21 +24,21 @@ jobs:
24
24
run : |
25
25
MERGE_BASE=$(git merge-base --fork-point origin/$BASE_BRANCH)
26
26
echo "merge-base=$MERGE_BASE" >> $GITHUB_ENV
27
- - name : Calculate merge-base - branch
28
- if : ${{ github.event_name != 'pull_request' }}
29
- # using github.sha instead, since we're directly on a branch, and not in a PR
30
- run : |
31
- MERGE_BASE=${{ github.sha }}
32
- echo "merge-base=$MERGE_BASE" >> $GITHUB_ENV
33
- - name : Cache CodeQL query compilation
27
+ - name : Read CodeQL query compilation - PR
28
+ if : ${{ github.event_name == 'pull_request' }}
34
29
uses : actions/cache@v3
35
30
with :
36
31
path : ' */ql/src/.cache'
37
- # current GH HEAD first, merge-base second, generic third
38
- key : codeql-stable-compile-${{ github.sha }}
32
+ key : codeql-compile-pr-${{ github.sha }} # deliberately not using the `compile-compile-main` keys here.
39
33
restore-keys : |
40
- codeql-stable-compile-${{ env.merge-base }}
41
- codeql-stable-compile-
34
+ codeql-compile-main-${{ env.merge-base }}
35
+ codeql-compile-main-
36
+ - name : Fill CodeQL query compilation cache - main
37
+ if : ${{ github.event_name != 'pull_request' }}
38
+ uses : actions/cache@v3
39
+ with :
40
+ path : ' */ql/src/.cache'
41
+ key : codeql-compile-main-${{ github.sha }} # just fill on main
42
42
- name : Setup CodeQL
43
43
uses : ./.github/actions/fetch-codeql
44
44
with :
You can’t perform that action at this time.
0 commit comments