tree b7d6f1395a0d3f87a08b5c53856cd655759b0459
parent 8bc05bf9a53363cdc5cbc27d6190a19d0bc9cc41
author Han Seoul-Oh <laughinghan@gmail.com> 1466214020 -0700
committer Han Seoul-Oh <laughinghan@gmail.com> 1466214020 -0700

CI: time all possibly slow backgrounded things

Not backgrounded things like servers, which aren't supposed to end at
all until Circle kills them during teardown, of course.