make the latest pyright happy #177
Job | Run time |
---|---|
47s | |
47s | |
47s | |
47s | |
52s | |
47s | |
53s | |
47s | |
46s | |
46s | |
46s | |
46s | |
50s | |
50s | |
50s | |
50s | |
52s | |
52s | |
52s | |
52s | |
2m 14s | |
2m 14s | |
2m 14s | |
2m 14s | |
1m 55s | |
1m 55s | |
1m 55s | |
1m 55s | |
3m 6s | |
3m 6s | |
3m 6s | |
3m 6s | |
45m 19s |