Rename Rng::gen
to Rng::random
#788
Job | Run time |
---|---|
1m 4s | |
21s | |
1m 11s | |
2m 16s | |
49s | |
3m 58s | |
3m 5s | |
13s | |
2m 0s | |
2m 44s | |
1m 38s | |
46s | |
20m 5s |
Rng::gen
to Rng::random
#788
Job | Run time |
---|---|
1m 4s | |
21s | |
1m 11s | |
2m 16s | |
49s | |
3m 58s | |
3m 5s | |
13s | |
2m 0s | |
2m 44s | |
1m 38s | |
46s | |
20m 5s |