Changed the delay behavour in wsl_installed

[martinmodrak]

Submission Checklist

• Run unit tests
• Declare copyright holder and agree to license (see below)

Summary

Resolves #838 - at least for me. In wsl_installed(), instead of waiting for a fixed period for wsl.exe to complete, the wait is split into multiple shorter waits, so a) if the call completes quickly, the method returns quickly and b) the total max waiting time is longer (currently 5s).

Copyright and Licensing

Please list the copyright holder for the work you are submitting
(this will be you or your assignee, such as a university or company):
Institute of Microbiology of the Czech Academy of Sciences

By submitting this pull request, the copyright holder is agreeing to
license the submitted work under the following licenses:

• Code: BSD 3-clause (https://opensource.org/licenses/BSD-3-Clause)
• Documentation: CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/)

[jgabry]

@martinmodrak We should add you as a contributor to CmdStanR! Do you want to add a commit adding yourself to the DESCRIPTION file?

cmdstanr/DESCRIPTION

Lines 5 to 18 in 8e51a84

	Authors@R:
	c(person(given = "Jonah", family = "Gabry", role = c("aut", "cre"),
	email = "[email protected]"),
	person(given = "Rok", family = "Češnovar", role = "aut",
	email = "[email protected]"),
	person(given = "Andrew", family = "Johnson", role = "aut",
	comment = c(ORCID = "0000-0001-7000-8065")),
	person(given = "Ben", family = "Bales", role = "ctb"),
	person(given = "Mitzi", family = "Morris", role = "ctb"),
	person(given = "Mikhail", family = "Popov", role = "ctb"),
	person(given = "Mike", family = "Lawrence", role = "ctb"),
	person(given = c("William", "Michael"), family = "Landau", role = "ctb",
	email = "[email protected]", comment = c(ORCID = "0000-0003-1878-3253")),
	person(given = "Jacob", family = "Socolar", role = "ctb"))

[andrjohns]

Thanks for having a look at this @martinmodrak feel free to add yourself as a contributor and then merge!

[jgabry]

Thanks for having a look at this @martinmodrak feel free to add yourself as a contributor and then merge!

I went ahead and added Martin as a contributor and merged master into this branch. We can merge this assuming checks pass (which they should)

[codecov-commenter]

Codecov Report

Merging #839 (224ed83) into master (b29374e) will increase coverage by 0.00%.
The diff coverage is 100.00%.

❗ Current head 224ed83 differs from pull request most recent head 7daf92b. Consider uploading reports for the commit 7daf92b to get more accurate results

@@           Coverage Diff           @@
##           master     #839   +/-   ##
=======================================
  Coverage   88.10%   88.11%           
=======================================
  Files          12       12           
  Lines        4212     4215    +3     
=======================================
+ Hits         3711     3714    +3     
  Misses        501      501           

Files Changed	Coverage Δ
R/utils.R	72.48% <100.00%> (+0.16%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more