Skip to content

Merge pull request #307 from oscarbenjamin/pr_typing #1325

Merge pull request #307 from oscarbenjamin/pr_typing

Merge pull request #307 from oscarbenjamin/pr_typing #1325

Job Run time
1m 45s
3m 30s
4m 22s
29m 25s
34m 15s
13m 30s
16m 19s
10m 56s
18m 10s
6m 42s
17m 38s
17m 31s
2m 0s
5m 4s
1m 58s
5m 10s
4m 39s
4m 38s
5m 19s
5m 44s
2m 0s
0s
0s
18s
13s
13s
37s
23s
20s
27s
19s
24s
25s
12s
11s
1m 7s
31s
1m 7s
1m 33s
27s
40s
29s
28s
31s
20s
27s
1m 4s
21s
23s
24s
1m 23s
24s
58s
14s
29s
29s
19s
1m 14s
32s
17s
16s
57s
1m 13s
1m 14s
1m 3s
18s
18s
15s
36s
19s
45s
33s
22s
39s
47s
41s
31s
19s
23s
4h 2m 17s