Skip to content
Snippets Groups Projects
Commit 891392b9 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 49c13c00
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