Problems with Travis

[Hendrik Ranocha]

In some recent PRs such as #159 and #160, Travis does not seem to respond. This is a bit strange, because everything works fine if I enable Travis on my fork. Does anybody have an idea?

[Júlio Hoffimann]

Travis is no longer the CI method used by the community. Closing it.