Update bazel build to use scip-related headers only when scip is used. #863
| Job | Run time |
|---|---|
| 1h 9m 40s | |
| 1h 13m 22s | |
| 1h 20m 58s | |
| 1h 14m 47s | |
| 1h 0m 1s | |
| 1h 2m 17s | |
| 1h 11m 39s | |
| 1h 3m 14s | |
| 59m 5s | |
| 1h 5m 11s | |
| 1h 4m 23s | |
| 1h 9m 29s | |
| 1h 0m 56s | |
| 1h 6m 20s | |
| 1h 9m 46s | |
| 1h 4m 4s | |
| 53m 8s | |
| 57m 46s | |
| 1h 5m 9s | |
| 1h 0m 1s | |
| 54m 1s | |
| 56m 32s | |
| 1h 4m 23s | |
| 58m 19s | |
| 53m 52s | |
| 56m 32s | |
| 1h 6m 5s | |
| 56m 9s | |
| 1d 5h 37m 9s |