fix: replace sonic-forest
with tree-dump
#517
Job | Run time |
---|---|
22s | |
18s | |
21s | |
20s | |
3m 8s | |
20s | |
41s | |
0s | |
5m 30s |
sonic-forest
with tree-dump
#517
Job | Run time |
---|---|
22s | |
18s | |
21s | |
20s | |
3m 8s | |
20s | |
41s | |
0s | |
5m 30s |