Only build valgrind if needed #20
Job | Run time |
---|---|
9m 47s | |
39m 36s | |
23m 1s | |
40m 27s | |
29m 55s | |
22m 53s | |
32m 17s | |
46m 57s | |
26m 19s | |
33m 57s | |
35m 45s | |
39m 55s | |
6h 20m 49s |
Job | Run time |
---|---|
9m 47s | |
39m 36s | |
23m 1s | |
40m 27s | |
29m 55s | |
22m 53s | |
32m 17s | |
46m 57s | |
26m 19s | |
33m 57s | |
35m 45s | |
39m 55s | |
6h 20m 49s |