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.

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

Allow users to configure clusters #54

Merged
merged 5 commits into from
Jul 9, 2019
Merged

Allow users to configure clusters #54

merged 5 commits into from
Jul 9, 2019

Commits on Jul 3, 2019

  1. Allow users to configure clusters

    This adds a mechanism for specifying user configurable cluster
    parameters in a declarative way. The set of configurable cluster
    parameters (as well as useful metadata like input type/bounds/valid
    values, etc...) are exposed via a rest api. This allows creation of nice
    interactive GUIs on the client side without requiring client-side
    configuration (still TODO).
    
    Still needs tests and nicer client-side interaction, but on initial
    experimentation the server-side componts work.
    jcrist committed Jul 3, 2019
    Configuration menu
    Copy the full SHA
    331d04c View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2019

  1. Add client side interaction.

    jcrist committed Jul 8, 2019
    Configuration menu
    Copy the full SHA
    4144b3c View commit details
    Browse the repository at this point in the history
  2. Fixup

    jcrist committed Jul 8, 2019
    Configuration menu
    Copy the full SHA
    ba4c373 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2019

  1. Add tests, a few cleanups

    jcrist committed Jul 9, 2019
    Configuration menu
    Copy the full SHA
    9b62f29 View commit details
    Browse the repository at this point in the history
  2. Update docs, travis ci

    jcrist committed Jul 9, 2019
    Configuration menu
    Copy the full SHA
    2c1d41d View commit details
    Browse the repository at this point in the history