Simplify PDB reader and add docs #1220
Job | Run time |
---|---|
16m 3s | |
13m 41s | |
13m 8s | |
14m 40s | |
14m 42s | |
17m 39s | |
17m 46s | |
17m 23s | |
17m 56s | |
18m 32s | |
9m 13s | |
7m 30s | |
7m 39s | |
8m 10s | |
7m 46s | |
3h 21m 48s |
Job | Run time |
---|---|
16m 3s | |
13m 41s | |
13m 8s | |
14m 40s | |
14m 42s | |
17m 39s | |
17m 46s | |
17m 23s | |
17m 56s | |
18m 32s | |
9m 13s | |
7m 30s | |
7m 39s | |
8m 10s | |
7m 46s | |
3h 21m 48s |