feature: add the option --randomly-seed-per-test
to use a different seed for each test
#798
Job | Run time |
---|---|
46s | |
44s | |
45s | |
37s | |
1m 0s | |
7s | |
3m 59s |