feature: add the option --randomly-seed-per-test to use a different seed for each test
#796
Run and billable time
Learn about OS pricing on GitHub Actions| Job | Run time | Billable time |
|---|---|---|
| 42s | 0s | |
| 42s | 0s | |
| 46s | 0s | |
| 38s | 0s | |
| 53s | 0s | |
| 11s | 0s | |
| 3m 52s | 0s |