Add AddressSanitizer #43
Job | Run time |
---|---|
19m 10s | |
6m 4s | |
15m 19s | |
2m 34s | |
2m 34s | |
9s | |
3m 14s | |
3m 14s | |
3m 24s | |
3m 8s | |
3m 8s | |
2m 58s | |
1h 4m 56s |
Job | Run time |
---|---|
19m 10s | |
6m 4s | |
15m 19s | |
2m 34s | |
2m 34s | |
9s | |
3m 14s | |
3m 14s | |
3m 24s | |
3m 8s | |
3m 8s | |
2m 58s | |
1h 4m 56s |