Added type hints #155
| Job | Run time |
|---|---|
| 2h 0m 18s | |
| 2h 6m 53s | |
| 2h 0m 24s | |
| 32m 59s | |
| 2h 8m 57s | |
| 17m 56s | |
| 1h 25m 17s | |
| 37m 55s | |
| 1h 32m 19s | |
| 25s | |
| 22m 15s | |
| 1h 23m 44s | |
| 17m 28s | |
| 1h 26m 16s | |
| 40m 45s | |
| 1h 30m 50s | |
| 8m 50s | |
| 1h 23m 58s | |
| 1h 26m 36s | |
| 1h 30m 19s | |
| 1h 25m 10s | |
| 1h 25m 56s | |
| 1h 30m 29s | |
| 1h 23m 45s | |
| 1h 25m 22s | |
| 1h 31m 27s | |
| 1h 23m 21s | |
| 0s | |
| 1d 8h 59m 54s |