Skip to content

Convert average_run_time to an integer#3464

Merged
ErikSchierboom merged 1 commit into
mainfrom
convert-average-runtime-to-int
Jul 18, 2023
Merged

Convert average_run_time to an integer#3464
ErikSchierboom merged 1 commit into
mainfrom
convert-average-runtime-to-int

Conversation

@ErikSchierboom
Copy link
Copy Markdown
Member

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.

This PR has been created as a draft and we will automatically merge it next week once the new configlet release is out.

See exercism/docs#430 for more information.

@ErikSchierboom ErikSchierboom added the x:size/tiny Tiny amount of work label Jul 14, 2023
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 ErikSchierboom marked this pull request as ready for review July 18, 2023 08:33
@ErikSchierboom ErikSchierboom merged commit a093eaa into main Jul 18, 2023
@ErikSchierboom ErikSchierboom deleted the convert-average-runtime-to-int branch July 18, 2023 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

x:size/tiny Tiny amount of work

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant