der: document RefToOwned
and OwnedToRef
(#1498)
#2101
Job | Run time |
---|---|
2m 49s | |
2m 52s | |
2m 56s | |
20s | |
19s | |
12s | |
19s | |
9m 47s |
RefToOwned
and OwnedToRef
(#1498)
#2101
Job | Run time |
---|---|
2m 49s | |
2m 52s | |
2m 56s | |
20s | |
19s | |
12s | |
19s | |
9m 47s |