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

Convert average_run_time to an integer #103

Merged
merged 1 commit into from
Jul 18, 2023

Commits on Jul 14, 2023

  1. Convert average_run_time to an integer.

    There are two reasons for this change:
    
    1. Having the average run time as a float gives the impression of being exact, whereas the actual run time wildly varies due to a wide variety of reasons (e.g. how busy it is on the server). That fractional component will almost never actually conform the real situation.
    
    2. jq is often used to work with track config.json config files (e.g. to add elements to it), and it will remove any trailing .0 fractional part from a number, which caused configlet lint to fail. Those JQ scripts then have to work around this by manually adding .0 to it.
    ErikSchierboom committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    c55937c View commit details
    Browse the repository at this point in the history