Variant: add method get_full_type_name
and used in many places
#342
Job | Run time |
---|---|
1m 40s | |
9m 55s | |
23m 21s | |
22m 41s | |
9m 14s | |
39m 31s | |
14m 26s | |
36m 25s | |
15m 25s | |
22m 30s | |
32m 35s | |
22m 44s | |
27m 35s | |
47m 35s | |
26m 15s | |
43m 14s | |
35m 1s | |
40m 29s | |
13m 56s | |
0s | |
8h 4m 32s |