Instrumentation for Travis CI.