diff options
author | Thomas Waldmann <tw@waldmann-edv.de> | 2022-10-01 23:01:27 +0200 |
---|---|---|
committer | Thomas Waldmann <tw@waldmann-edv.de> | 2022-10-01 23:01:27 +0200 |
commit | ef2188b7caa1530e63a3585fc1d2a33f15ef9532 (patch) | |
tree | 157ad6eb063aca3bcfa9d21299a78757ca8d377d /Vagrantfile | |
parent | 4e87c1b6be35dd29f0d40c74221b7ead8b6cb4da (diff) |
increase VMCPUS and xdistn to 16
Diffstat (limited to 'Vagrantfile')
-rw-r--r-- | Vagrantfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Vagrantfile b/Vagrantfile index e1dfddd10..1617c4276 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -3,8 +3,8 @@ # Automated creation of testing environments / binaries on misc. platforms -$cpus = Integer(ENV.fetch('VMCPUS', '4')) # create VMs with that many cpus -$xdistn = Integer(ENV.fetch('XDISTN', '4')) # dispatch tests to that many pytest workers +$cpus = Integer(ENV.fetch('VMCPUS', '16')) # create VMs with that many cpus +$xdistn = Integer(ENV.fetch('XDISTN', '16')) # dispatch tests to that many pytest workers $wmem = $xdistn * 256 # give the VM additional memory for workers [MB] def packages_debianoid(user) |