diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T index a954bfd1bd10dc6ed9c32fc59b3633369dab7dd4..659f0f3fad029a4b0620e7e3a43a3550a83245e1 100644 --- a/libraries/base/tests/all.T +++ b/libraries/base/tests/all.T @@ -185,6 +185,7 @@ test('CatEntail', normal, compile, ['']) # When running with WAY=ghci and profiled ways, T7653 uses a lot of memory. test('T7653', [when(opsys('mingw32'), skip), + when(arch('wasm32'), run_timeout_multiplier(5)), omit_ways(prof_ways+['ghci'])], compile_and_run, ['']) test('T7787', normal, compile_and_run, [''])