diff: add "diff" label globally by outer show_diff/patch() functions #12905
Job | Run time |
---|---|
41s | |
4m 20s | |
3m 45s | |
38s | |
8m 9s | |
5m 27s | |
24s | |
22s | |
17s | |
24s | |
22s | |
2m 34s | |
27m 23s |
Job | Run time |
---|---|
41s | |
4m 20s | |
3m 45s | |
38s | |
8m 9s | |
5m 27s | |
24s | |
22s | |
17s | |
24s | |
22s | |
2m 34s | |
27m 23s |