Add new features to slang-tidy #1321
Job | Run time |
---|---|
25m 45s | |
12m 24s | |
12m 23s | |
12m 24s | |
12m 23s | |
12m 1s | |
6m 0s | |
12m 29s | |
12m 28s | |
12m 1s | |
12m 6s | |
18m 6s | |
11m 21s | |
2h 51m 51s |
Job | Run time |
---|---|
25m 45s | |
12m 24s | |
12m 23s | |
12m 24s | |
12m 23s | |
12m 1s | |
6m 0s | |
12m 29s | |
12m 28s | |
12m 1s | |
12m 6s | |
18m 6s | |
11m 21s | |
2h 51m 51s |