* Giulio Paci <giuliopaci@gmail.com>, 2016-05-31, 16:18:
I implemented a workaround that sets different limits for the build phase and the check phase.
I like the idea. :-) 1eca96b4700b uploaded. -- Jakub Wilk