diff options
author | 2019-02-05 12:11:16 -0500 | |
---|---|---|
committer | 2019-02-05 12:30:49 -0500 | |
commit | c40a76c5acdba3dc141cbeaf250ca394ae29ee20 (patch) | |
tree | 1aa8ae7259b7f684d9c32484ae58de0922a07c44 /checker/print.mli | |
parent | fe4de3af9df2d093394d89f702993d49ce41d70a (diff) |
Consolidate patches to disable tests that are too big or too slow
Consolidate the several patches that disable tests that time out on
MIPS or use too much RAM/time on the buildds.
Diffstat (limited to 'checker/print.mli')
0 files changed, 0 insertions, 0 deletions