chore: bump mypy (#1579) #7403
Job | Run time |
---|---|
1m 17s | |
12m 45s | |
15m 26s | |
12m 34s | |
13m 51s | |
15m 21s | |
17m 59s | |
16m 33s | |
18m 18s | |
1m 42s | |
2m 1s | |
2h 7m 47s |
Job | Run time |
---|---|
1m 17s | |
12m 45s | |
15m 26s | |
12m 34s | |
13m 51s | |
15m 21s | |
17m 59s | |
16m 33s | |
18m 18s | |
1m 42s | |
2m 1s | |
2h 7m 47s |