Unify newline at end, and set insert_final_newline #2978
Job | Run time |
---|---|
9s | |
0s | |
7s | |
7m 42s | |
9m 0s | |
9m 28s | |
12m 23s | |
13m 12s | |
17m 44s | |
13m 33s | |
14m 49s | |
17s | |
0s | |
1h 38m 24s |
Job | Run time |
---|---|
9s | |
0s | |
7s | |
7m 42s | |
9m 0s | |
9m 28s | |
12m 23s | |
13m 12s | |
17m 44s | |
13m 33s | |
14m 49s | |
17s | |
0s | |
1h 38m 24s |