This was supposed to be a bigger performance enhancing PR, but it turns out that other flags we tried (--ignore-interfaces, --no-caching/--caching, +RTS -A<number> -RTS) either don't help, or are too machine dependent to be universally useful.
So we're just setting the initial heap size to 2 GB for local setups and 4 GB for CI runs.
This was supposed to be a bigger performance enhancing PR, but it turns out that other flags we tried (
--ignore-interfaces,--no-caching/--caching,+RTS -A<number> -RTS) either don't help, or are too machine dependent to be universally useful.So we're just setting the initial heap size to 2 GB for local setups and 4 GB for CI runs.