[Rdkit-devel] The RDKit Travis builds

2018-10-02 Thread Greg Landrum
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

Re: [Rdkit-devel] The RDKit Travis builds

2018-10-02 Thread Greg Landrum
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