Fix some more coverity issues. #562
Job | Run time |
---|---|
35m 45s | |
35m 53s | |
35m 41s | |
38m 6s | |
21m 51s | |
21m 39s | |
18m 4s | |
21m 59s | |
34m 45s | |
37m 55s | |
38m 28s | |
38m 28s | |
21m 34s | |
24m 34s | |
24m 57s | |
24m 0s | |
46m 17s | |
47m 48s | |
41m 9s | |
38m 56s | |
24m 31s | |
25m 33s | |
11h 37m 53s |