Add new features to slang-tidy #1327
Job | Run time |
---|---|
25m 15s | |
23m 9s | |
1h 55m 38s | |
12m 48s | |
13m 40s | |
16m 55s | |
17m 25s | |
6m 33s | |
18m 9s | |
16m 41s | |
17m 54s | |
11m 19s | |
12m 57s | |
5h 8m 23s |
Job | Run time |
---|---|
25m 15s | |
23m 9s | |
1h 55m 38s | |
12m 48s | |
13m 40s | |
16m 55s | |
17m 25s | |
6m 33s | |
18m 9s | |
16m 41s | |
17m 54s | |
11m 19s | |
12m 57s | |
5h 8m 23s |