conflcts.rs: label conflict markers with conflict #, side #, whether it's a side or a diff #10314
Job | Run time |
---|---|
3m 51s | |
26s | |
24s | |
3m 2s | |
30s | |
23s | |
7m 24s | |
36s | |
4m 54s | |
13s | |
2m 30s | |
24m 13s |
Job | Run time |
---|---|
3m 51s | |
26s | |
24s | |
3m 2s | |
30s | |
23s | |
7m 24s | |
36s | |
4m 54s | |
13s | |
2m 30s | |
24m 13s |