diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-13 17:38:34 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-04-13 17:57:14 +0200 |
| commit | 623a1d43155823cc7506c3223405bb68f459fd50 (patch) | |
| tree | 7fb85efa08e5b2afed7499eddcde73927c081a45 /bin/common | |
| parent | 0fe56ea73e6775a315f54772dc6bfb40815c7c98 (diff) | |
| download | dotty-623a1d43155823cc7506c3223405bb68f459fd50.tar.gz dotty-623a1d43155823cc7506c3223405bb68f459fd50.tar.bz2 dotty-623a1d43155823cc7506c3223405bb68f459fd50.zip | |
Fix #2220: disable benchmarks, set run timeout to 30 seconds
Diffstat (limited to 'bin/common')
0 files changed, 0 insertions, 0 deletions