The spinxsk tests run for 10 minutes in PRs and 60 minutes in main, and every once in a while we hit a "bad" run where the success rate is less than 1%. Other times the success rate can be as high as 15%.
Try running each iteration for twice as long (10 minutes) to let the randomized test converge to the mean.
The spinxsk tests run for 10 minutes in PRs and 60 minutes in main, and every once in a while we hit a "bad" run where the success rate is less than 1%. Other times the success rate can be as high as 15%.
Try running each iteration for twice as long (10 minutes) to let the randomized test converge to the mean.
Resolves #536