Skip to content
Snippets Groups Projects
Commit 77cc78eb authored by Cheng Shao's avatar Cheng Shao
Browse files

testsuite: bump T7653 timeout for wasm

(cherry picked from commit 2eee65e1)
(cherry picked from commit 3f7b718f)
parent f2388ebc
No related branches found
No related tags found
No related merge requests found
......@@ -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, [''])
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment