chore(deps-dev): update mypy requirement from 1.12.0 to 1.13.0 #518
| Job | Run time |
|---|---|
| 24s | |
| 32s | |
| 29s | |
| 31s | |
| 29s | |
| 34s | |
| 32s | |
| 31s | |
| 1m 21s | |
| 1m 28s | |
| 1m 27s | |
| 1m 21s | |
| 1m 12s | |
| 1m 0s | |
| 47s | |
| 50s | |
| 1m 3s | |
| 57s | |
| 15m 28s |
| Job | Run time |
|---|---|
| 24s | |
| 32s | |
| 29s | |
| 31s | |
| 29s | |
| 34s | |
| 32s | |
| 31s | |
| 1m 21s | |
| 1m 28s | |
| 1m 27s | |
| 1m 21s | |
| 1m 12s | |
| 1m 0s | |
| 47s | |
| 50s | |
| 1m 3s | |
| 57s | |
| 15m 28s |