Use more linters, better #154
| Job | Run time |
|---|---|
| 10m 49s | |
| 14m 14s | |
| 10m 47s | |
| 14m 13s | |
| 10m 48s | |
| 14m 14s | |
| 10m 48s | |
| 14m 15s | |
| 10m 47s | |
| 13m 57s | |
| 10m 42s | |
| 14m 13s | |
| 10m 26s | |
| 14m 15s | |
| 10m 10s | |
| 14m 14s | |
| 1s | |
| 1s | |
| 10m 19s | |
| 14m 16s | |
| 10m 43s | |
| 14m 13s | |
| 10m 40s | |
| 14m 3s | |
| 10m 38s | |
| 14m 8s | |
| 10m 38s | |
| 14m 7s | |
| 10m 40s | |
| 14m 7s | |
| 10m 40s | |
| 14m 8s | |
| 10m 48s | |
| 14m 16s | |
| 6h 37m 18s |