chore: replace ruint2
with ruint
#623
Job | Run time |
---|---|
1m 27s | |
4m 13s | |
1m 11s | |
1m 13s | |
1m 51s | |
2m 11s | |
2m 10s | |
2m 18s | |
2m 11s | |
2m 21s | |
2m 34s | |
2m 12s | |
2m 36s | |
3m 35s | |
3m 44s | |
3m 18s | |
27s | |
39m 32s |