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 issue. Grrrrr -greg
_______________________________________________ Rdkit-devel mailing list Rdkit-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/rdkit-devel