Leave out seq_linter() from efficiency linters
#6491
| Job | Run time |
|---|---|
| 2m 26s | |
| 5m 1s | |
| 5m 43s | |
| 3m 27s | |
| 3m 12s | |
| 3m 1s | |
| 3m 1s | |
| 3m 51s | |
| 3m 10s | |
| 3m 5s | |
| 3m 4s | |
| 39m 1s |
seq_linter() from efficiency linters
#6491
| Job | Run time |
|---|---|
| 2m 26s | |
| 5m 1s | |
| 5m 43s | |
| 3m 27s | |
| 3m 12s | |
| 3m 1s | |
| 3m 1s | |
| 3m 51s | |
| 3m 10s | |
| 3m 5s | |
| 3m 4s | |
| 39m 1s |