Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add the ability to choose the host context and create duplicates of the default context with different settings #2098

Merged
merged 3 commits into from
May 8, 2019
Merged

Add the ability to choose the host context and create duplicates of the default context with different settings #2098

merged 3 commits into from
May 8, 2019

Commits on May 8, 2019

  1. Add the ability to choose the host context. 

    Also allows to use (default) with different names

Signed-off-by: Lucas Pluvinage <lucas.pluvinage@gmail.com>
    @TheLortex @rgrinberg
    TheLortex authored and rgrinberg committed May 8, 2019
    Configuration menu
    Copy the full SHA
    f0e63ac View commit details
    Browse the repository at this point in the history

  2. Move checks and topsort to workspace.ml 

    Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
    @jeremiedimino @rgrinberg
    jeremiedimino authored and rgrinberg committed May 8, 2019
    Configuration menu
    Copy the full SHA
    7a9a140 View commit details
    Browse the repository at this point in the history

  3. Process all contexts in parallel 

    It also means that the topological sorting isn't rquired.

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
    @rgrinberg
    rgrinberg committed May 8, 2019
    Configuration menu
    Copy the full SHA
    5dc27f9 View commit details
    Browse the repository at this point in the history