|
@@ -89,7 +89,6 @@ jobs:
|
|
|
testing: false
|
|
testing: false
|
|
|
|
|
|
|
|
- name: Setup more Swap (for LTO)
|
|
- name: Setup more Swap (for LTO)
|
|
|
- if: inputs.build_type == 'make'
|
|
|
|
|
uses: thejerrybao/setup-swap-space@v1 # or pierotofy/set-swap-space
|
|
uses: thejerrybao/setup-swap-space@v1 # or pierotofy/set-swap-space
|
|
|
with:
|
|
with:
|
|
|
swap-size-gb: 25 # 10-24 GB is common for heavy LTO
|
|
swap-size-gb: 25 # 10-24 GB is common for heavy LTO
|
jimsterino98