Increase the allowed timeout for T7257 by 2
Due to the fact that unreg builds of GHC are considerably slower, this test has been timing out a number of times.
This PR increases the timeout for T7257 by a factor of 2.
Due to the fact that unreg builds of GHC are considerably slower, this test has been timing out a number of times.
This PR increases the timeout for T7257 by a factor of 2.