Merge branch 'develop' into feature/NoiseModelFactorN (for CI)

release/4.3a0
Gerry Chen 2022-07-21 00:58:45 -04:00
commit 112727630b
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: |