Just a quick FYI that I asked the folks at Travis-CI to switch us over to
their newer setup (Travis-ci.com instead of Travis-ci.org) today.[1] This
has broken the build, as one would expect. :-S
I will spend some time on it over the next day or so to get things working
again.
-greg
[1] there were
The good news is that I didn't end up needing to do anything: after the
first build failed strangely the others worked normally. Yay! So we're now
migrated to travis-ci.com:
https://travis-ci.com/rdkit/rdkit
The bad news is that the intermittent, non-reproducible build failures seem
to still be an