diff options
| author | Kenny <3454741+WarriorOfWire@users.noreply.github.com> | 2020-07-24 20:44:55 -0700 |
|---|---|---|
| committer | Kenny <3454741+WarriorOfWire@users.noreply.github.com> | 2020-07-24 22:08:56 -0700 |
| commit | 11d225fe6238d7af0e189232766c16b089d63c59 (patch) | |
| tree | a3c9b37892f3fdeb9e4323ee693940b196ebfbee /tests/float/float_array.py | |
| parent | a6e048686fe6999c4231582b7d9e69a7dc679257 (diff) | |
Use 2 cores per job in github build
As of today, https://docs.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
states that hosted runners have a 2-core CPU.
This uses make -j $physical_cores to try and be better about utilizing the time spent on those machines.
When github upgrades runners to have more cores we'll benefit from that too.
Diffstat (limited to 'tests/float/float_array.py')
0 files changed, 0 insertions, 0 deletions