add --skip to shed_lint #1674
Job | Run time |
---|---|
37s | |
1m 2s | |
2m 22s | |
1m 2s | |
17m 51s | |
6m 11s | |
35m 36s | |
34m 13s | |
35m 41s | |
1h 40m 14s | |
20m 3s | |
49s | |
54s | |
19m 17s | |
4h 35m 52s |
Job | Run time |
---|---|
37s | |
1m 2s | |
2m 22s | |
1m 2s | |
17m 51s | |
6m 11s | |
35m 36s | |
34m 13s | |
35m 41s | |
1h 40m 14s | |
20m 3s | |
49s | |
54s | |
19m 17s | |
4h 35m 52s |