Add new features to slang-tidy #1315
Job | Run time |
---|---|
25m 6s | |
18m 11s | |
5m 57s | |
5m 55s | |
5m 57s | |
5m 56s | |
5m 56s | |
5m 38s | |
5m 55s | |
5m 52s | |
5m 50s | |
6m 0s | |
12m 36s | |
1h 54m 49s |
Job | Run time |
---|---|
25m 6s | |
18m 11s | |
5m 57s | |
5m 55s | |
5m 57s | |
5m 56s | |
5m 56s | |
5m 38s | |
5m 55s | |
5m 52s | |
5m 50s | |
6m 0s | |
12m 36s | |
1h 54m 49s |