Repository navigation
Rust: Improve and rename Adt class
#4851
| Job | Run time |
|---|---|
| 50s | |
| 1m 12s | |
| 2m 45s | |
| 4m 47s |
Adt class
#4851
| Job | Run time |
|---|---|
| 50s | |
| 1m 12s | |
| 2m 45s | |
| 4m 47s |