mirror of
https://github.com/github/codeql.git
synced 2026-04-20 22:44:52 +02:00
restore from another cache when running on main. Otherwise that workflow always takes an hour
This commit is contained in:
2
.github/workflows/compile-queries.yml
vendored
2
.github/workflows/compile-queries.yml
vendored
@@ -39,6 +39,8 @@ jobs:
|
||||
with:
|
||||
path: '*/ql/src/.cache'
|
||||
key: codeql-compile-main-${{ github.sha }} # just fill on main
|
||||
restore-keys: | # restore from another random commit, to speed up compilation.
|
||||
codeql-compile-main-
|
||||
- name: Setup CodeQL
|
||||
uses: ./.github/actions/fetch-codeql
|
||||
with:
|
||||
|
||||
Reference in New Issue
Block a user