make Thin
a supertrait of Sized
#118467
Job | Run time |
---|---|
23m 33s | |
5m 19s | |
0s | |
0s | |
54m 26s | |
0s | |
33m 11s | |
0s | |
0s | |
0s | |
0s | |
1h 56m 29s |
Thin
a supertrait of Sized
#118467
Job | Run time |
---|---|
23m 33s | |
5m 19s | |
0s | |
0s | |
54m 26s | |
0s | |
33m 11s | |
0s | |
0s | |
0s | |
0s | |
1h 56m 29s |