File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 33
33
# run with --check-only if running in a PR (github.sha != main)
34
34
if : ${{ github.event_name == 'pull_request' }}
35
35
shell : bash
36
- run : codeql query compile -q -j0 */ql/{src,examples} --keep-going --warnings=error --check-only --compilation-cache "${{ steps.query-cache.outputs.cache-dir }}" --compilation-cache-size=500
36
+ run : codeql query compile -q -j0 */ql/{src,examples} --keep-going --warnings=error --check-only --compilation-cache "${{ steps.query-cache.outputs.cache-dir }}" --compilation-cache-size=500 --ram=56000
37
37
- name : compile queries - full
38
38
# do full compile if running on main - this populates the cache
39
39
if : ${{ github.event_name != 'pull_request' }}
40
40
shell : bash
41
- run : codeql query compile -q -j0 */ql/{src,examples} --keep-going --warnings=error --compilation-cache "${{ steps.query-cache.outputs.cache-dir }}" --compilation-cache-size=500
41
+ run : codeql query compile -q -j0 */ql/{src,examples} --keep-going --warnings=error --compilation-cache "${{ steps.query-cache.outputs.cache-dir }}" --compilation-cache-size=500 --ram=56000
You can’t perform that action at this time.
0 commit comments