Skip to content

Commit

Permalink
Convert average_run_time to an integer. (#1191)
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
ErikSchierboom authored Jul 18, 2023
1 parent dd2c1d0 commit ba0cf9a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion config.json
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
"highlightjs_language": "fsharp"
},
"test_runner": {
"average_run_time": 8.0
"average_run_time": 8
},
"files": {
"solution": ["%{pascal_slug}.fs"],
Expand Down

0 comments on commit ba0cf9a

Please sign in to comment.