chore: update ruint version and rust toolchain
#115
| Job | Run time |
|---|---|
| 4m 19s | |
| 21m 12s | |
| 25m 31s |
ruint version and rust toolchain
#115
| Job | Run time |
|---|---|
| 4m 19s | |
| 21m 12s | |
| 25m 31s |