debugging push
[source,log] does not show up correctly in travis-ci generated pdf