Misleading names using pretty_names in combination with cut() (#945)
#1911
| Job | Run time |
|---|---|
| 24s | |
| 24s |
pretty_names in combination with cut() (#945)
#1911
| Job | Run time |
|---|---|
| 24s | |
| 24s |