Switch from mia_rt_config to gevulot_rs::runtime_config (#22)
#64
| Job | Run time |
|---|---|
| 4m 18s | |
| 4m 18s |
mia_rt_config to gevulot_rs::runtime_config (#22)
#64
| Job | Run time |
|---|---|
| 4m 18s | |
| 4m 18s |