8000 [MRG+1] CI gratuitous optimisation of doc pushing by jnothman · Pull Request #7887 · scikit-learn/scikit-learn · GitHub
[go: up one dir, main page]
Skip to content

[MRG+1] CI gratuitous optimisation of doc pushing#7887

Merged
amueller merged 1 commit intoscikit-learn:masterfrom
jnothman:fast-push-doc
Nov 16, 2016

Commits

Commits on Nov 16, 2016
0