Set more swap space on linux since gcc runs out of memory

release/4.3a0
Gerry Chen 2022-07-20 18:58:41 -04:00
parent 0af17f438f
commit 07c33c46e5
No known key found for this signature in database
GPG Key ID: E9845092D3A57286
1 changed files with 5 additions and 0 deletions

View File

@ -112,6 +112,11 @@ jobs:
run: |
echo "GTSAM_WITH_TBB=ON" >> $GITHUB_ENV
echo "GTSAM Uses TBB"
- name: Set Swap Space
if: runner.os == 'Linux'
uses: pierotofy/set-swap-space@master
with:
swap-size-gb: 6
- name: Build (Linux)
if: runner.os == 'Linux'
run: |