Merge pull request #82 from waywardmonkeys/suppress-identity-op-lint #89
Job | Run time |
---|---|
3m 38s | |
16s | |
5s | |
34s | |
13s | |
4m 22s | |
11s | |
6m 34s | |
5m 26s | |
4m 20s | |
4m 7s | |
3m 56s | |
6m 2s | |
13s | |
10s | |
15s | |
40m 22s |
Job | Run time |
---|---|
3m 38s | |
16s | |
5s | |
34s | |
13s | |
4m 22s | |
11s | |
6m 34s | |
5m 26s | |
4m 20s | |
4m 7s | |
3m 56s | |
6m 2s | |
13s | |
10s | |
15s | |
40m 22s |