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

Servo: Ensure yaml param types are correct #427

Merged
merged 6 commits into from
Apr 20, 2021
Merged

Servo: Ensure yaml param types are correct #427

merged 6 commits into from
Apr 20, 2021

Commits on Apr 17, 2021

  1. Ensure yaml param types are correct

    AndyZe committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    1eac1c5 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2021

  1. Merge branch 'main' into andyz/servo_param_types

    @tylerjw
    tylerjw committed Apr 19, 2021
    Configuration menu
    Copy the full SHA
    69f0901 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2021

  1. Ignore the casting of int's to double's

    AndyZe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    21d622a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'andyz/servo_param_types' of https://github.com/AndyZe/m… 

    …oveit2 into andyz/servo_param_types
    AndyZe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    675957f View commit details
    Browse the repository at this point in the history

  3. Update includes

    AndyZe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    52732fe View commit details
    Browse the repository at this point in the history

  4. Throw error if parameter type doesn't match

    AndyZe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    e7c5e5e View commit details
    Browse the repository at this point in the history