Simplify handling of too-short indent calculation, and remove the 'co… #2724
Job | Run time |
---|---|
1m 17s | |
3m 41s | |
3m 54s | |
3m 57s | |
3m 42s | |
3m 55s | |
3m 58s | |
3m 54s | |
3m 39s | |
31m 57s |
Job | Run time |
---|---|
1m 17s | |
3m 41s | |
3m 54s | |
3m 57s | |
3m 42s | |
3m 55s | |
3m 58s | |
3m 54s | |
3m 39s | |
31m 57s |