cli: use a "leftward harpoon over rightward harpoon" for elided nodes #9680
Job | Run time |
---|---|
3m 18s | |
25s | |
2m 33s | |
2m 19s | |
23s | |
6m 47s | |
4m 12s | |
31s | |
15s | |
23s | |
28s | |
21m 34s |
Job | Run time |
---|---|
3m 18s | |
25s | |
2m 33s | |
2m 19s | |
23s | |
6m 47s | |
4m 12s | |
31s | |
15s | |
23s | |
28s | |
21m 34s |