Skip to content
Snippets Groups Projects
Commit 4ff8137a authored by Cheng Shao's avatar Cheng Shao :beach:
Browse files

testsuite: bump T7653 timeout for wasm

(cherry picked from commit 2eee65e1)
(cherry picked from commit 3f7b718f)
(cherry picked from commit 77cc78eb)
parent b53727b2
No related branches found
No related tags found
No related merge requests found
......@@ -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, [''])
......
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