-
Jens Korinth authored
* just had a number of runs killed, because their memory usage exceeded 8 GiB (Xilinx claims 6 GiB, but apparently for PnR only) * moved to generous 10 GiB
25ef5cf5
* just had a number of runs killed, because their memory usage exceeded 8 GiB (Xilinx claims 6 GiB, but apparently for PnR only) * moved to generous 10 GiB