diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T index 604ba6f0c5cdbe269c6b07a7f96b7bbd4a47105f..d7e1bf71e31d0d4667cdc77f2e6c04f49f5e60ed 100644 --- a/libraries/base/tests/all.T +++ b/libraries/base/tests/all.T @@ -189,6 +189,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, [''])