Leave out seq_linter() from efficiency linters
#6703
| Job | Run time |
|---|---|
| 3m 30s | |
| 3m 30s |
seq_linter() from efficiency linters
#6703
| Job | Run time |
|---|---|
| 3m 30s | |
| 3m 30s |