chore: update ruint version and rust toolchain
#113
| Job | Run time |
|---|---|
| 37s | |
| 3m 37s | |
| 4m 14s |
ruint version and rust toolchain
#113
| Job | Run time |
|---|---|
| 37s | |
| 3m 37s | |
| 4m 14s |