diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 12:11:16 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 12:30:49 -0500 |
commit | c40a76c5acdba3dc141cbeaf250ca394ae29ee20 (patch) | |
tree | 1aa8ae7259b7f684d9c32484ae58de0922a07c44 /lib/pp_diff.ml | |
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 'lib/pp_diff.ml')
0 files changed, 0 insertions, 0 deletions