techmap: Remove techmap_chtype
from the result
#3395
Job | Run time |
---|---|
28m 33s | |
9m 52s | |
38m 25s |
techmap_chtype
from the result
#3395
Job | Run time |
---|---|
28m 33s | |
9m 52s | |
38m 25s |