cosmrs: add getrandom
feature (#434)
#492
Job | Run time |
---|---|
1m 18s | |
5m 39s | |
1m 26s | |
2m 11s | |
4m 34s | |
15m 8s |
getrandom
feature (#434)
#492
Job | Run time |
---|---|
1m 18s | |
5m 39s | |
1m 26s | |
2m 11s | |
4m 34s | |
15m 8s |