Simplify PDB reader and add docs #1183
Job | Run time |
---|---|
13m 45s | |
11m 8s | |
10m 43s | |
11m 34s | |
17m 16s | |
17m 38s | |
17m 5s | |
17m 34s | |
10m 42s | |
7m 50s | |
7m 29s | |
7m 52s | |
2h 30m 36s |
Job | Run time |
---|---|
13m 45s | |
11m 8s | |
10m 43s | |
11m 34s | |
17m 16s | |
17m 38s | |
17m 5s | |
17m 34s | |
10m 42s | |
7m 50s | |
7m 29s | |
7m 52s | |
2h 30m 36s |