bors-servo 345b8b9c00 Auto merge of #11374 - servo:no-microseconds, r=Ms2ger ...

Don’t include microsecons when reporting build times.

"0:03:40.817715" is harder to read and no more informative than "0:03:40"

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/11374)
<!-- Reviewable:end -->

2016-05-25 21:31:48 -05:00

..

__init__.py

Fix tidy issues with Python files in python/

2015-06-02 19:51:41 -04:00

bootstrap_commands.py

Auto merge of #10923 - askeing:fix_10922, r=jdm

2016-04-30 03:42:18 -07:00

build_commands.py

Auto merge of #11374 - servo:no-microseconds, r=Ms2ger

2016-05-25 21:31:48 -05:00

command_base.py

Reduce 'android-18' duplication, as originally done by wenderen

2016-05-20 22:23:28 +02:00

devenv_commands.py

Improve mach wpt-upgrade.

2016-04-20 16:06:17 +02:00

post_build_commands.py

browserhtml update

2016-05-23 06:22:57 +02:00

testing_commands.py

Remove --faster flag from test-tidy, go fast by default. Fixes 11217

2016-05-25 21:17:22 +02:00