Merge pull request #245 from gerlero/typing #811
Job | Run time |
---|---|
5s | |
29s | |
9s | |
2m 37s | |
2m 30s | |
2m 37s | |
2m 30s | |
2m 33s | |
2m 41s | |
2m 47s | |
2m 41s | |
2m 26s | |
2m 29s | |
2m 42s | |
2m 30s | |
2m 50s | |
2m 39s | |
2m 55s | |
2m 52s | |
2m 53s | |
2m 54s | |
3m 7s | |
3m 5s | |
3m 6s | |
2m 5s | |
2m 5s | |
2m 8s | |
2m 1s | |
2m 7s | |
2m 10s | |
2m 12s | |
3m 39s | |
4m 1s | |
3m 21s | |
3m 0s | |
1h 26m 56s |