Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent #417
Job | Run time |
---|---|
9s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
7s | |
5s | |
4s | |
4s | |
9s | |
10s | |
15s | |
7s | |
7s | |
18s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
2m 1s |
Job | Run time |
---|---|
9s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
7s | |
5s | |
4s | |
4s | |
9s | |
10s | |
15s | |
7s | |
7s | |
18s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
2m 1s |