8000 Circle doesn't merge with master · Issue #8058 · scikit-learn/scikit-learn · GitHub
[go: up one dir, main page]
Skip to content
Circle doesn't merge with master #8058
New issue
New issue
Closed
Closed
Circle doesn't merge with master#8058
Labels
Build / CI
@jnothman

Description

@jnothman
jnothman
opened on Dec 15, 2016

It seems that if a PR is based on an old copy of master, CircleCI will still run the build script from the old master (which triggers the sphinx/gallery incompatibility which was fixed in master since). Should we be merging in master before building a PR on Circle?

Metadata

Metadata

Assignees

No one assigned

    Labels

    Build / CI

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0