conflcts.rs: label conflict markers with conflict #, side #, whether it's a side or a diff #10874
Job | Run time |
---|---|
33s | |
2m 25s | |
29s | |
3m 41s | |
33s | |
29s | |
3m 32s | |
8m 53s | |
17s | |
4m 43s | |
26s | |
26m 1s |
Job | Run time |
---|---|
33s | |
2m 25s | |
29s | |
3m 41s | |
33s | |
29s | |
3m 32s | |
8m 53s | |
17s | |
4m 43s | |
26s | |
26m 1s |