Doc: Use critical sections for custom types #150
Job | Run time |
---|---|
1h 16m 49s | |
1h 17m 50s | |
17m 58s | |
6m 35s | |
17m 2s | |
21m 35s | |
5m 12s | |
6m 33s | |
1h 21m 40s | |
15m 14s | |
9m 8s | |
13m 4s | |
7m 48s | |
17m 50s | |
7m 52s | |
14m 6s | |
1h 15m 2s | |
36m 30s | |
1h 9m 43s | |
37m 46s | |
10h 15m 17s |