Make WITH_INTERNAL_GRAPHVIZ default #211
Job | Run time |
---|---|
2m 0s | |
2m 13s | |
2m 14s | |
2m 28s | |
3m 5s | |
3m 32s | |
3m 30s | |
3m 48s | |
2m 0s | |
2m 54s | |
2m 22s | |
3m 50s | |
33m 56s |
Job | Run time |
---|---|
2m 0s | |
2m 13s | |
2m 14s | |
2m 28s | |
3m 5s | |
3m 32s | |
3m 30s | |
3m 48s | |
2m 0s | |
2m 54s | |
2m 22s | |
3m 50s | |
33m 56s |