Increase the maximum heap size on Jenkins#1030

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:add/more-memorydotty-staging/dotty:add/more-memoryCopy head branch name to clipboard