diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T index c1296512134d2f583676d83a0029b22b0f93fe75..f6b24c93948b6c91b89858bb9c5aeec913507f2c 100644 --- a/libraries/base/tests/all.T +++ b/libraries/base/tests/all.T @@ -187,6 +187,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_ways)], compile_and_run, ['']) test('T7787', normal, compile_and_run, [''])