Sanitizer build options (#34) #50
Job | Run time |
---|---|
35s | |
34s | |
46s | |
37s | |
36s | |
37s | |
46s | |
37s | |
45s | |
34s | |
33s | |
40s | |
33s | |
35s | |
34s | |
33s | |
34s | |
10m 29s |
Job | Run time |
---|---|
35s | |
34s | |
46s | |
37s | |
36s | |
37s | |
46s | |
37s | |
45s | |
34s | |
33s | |
40s | |
33s | |
35s | |
34s | |
33s | |
34s | |
10m 29s |