tree ccc01f8a866690214585159840f0d9eff143a752
parent afc9831be0c8943e235a1aa1a38990124506a7ef
author Philipp Wollermann <philwo@google.com> 1519218823 +0100
committer Philipp Wollermann <philwo@google.com> 1519219849 +0100

bazelci.py: Print status messages to stderr and flush.

Hopefully resolves log file weirdness on Windows.
Also refactor a lot of code just because we can.