diff options
author | Yorick Peterse <yorickpeterse@gmail.com> | 2015-10-05 12:08:52 +0300 |
---|---|---|
committer | Yorick Peterse <yorickpeterse@gmail.com> | 2015-10-05 12:08:52 +0300 |
commit | 89920ca8194d8bc946640fd786fb49ebd39e7f11 (patch) | |
tree | 85df8dc632a642cb0b62a59269b358502ed41d32 /doc/development | |
parent | 22506ddc50146ab56b2f114d90ab7b3270d60de1 (diff) |
Allow benchmark failures for the time being
This will be disallowed again once the existing benchmarks pass (which
relies on #2341).
Diffstat (limited to 'doc/development')
0 files changed, 0 insertions, 0 deletions