Merge scip-kotlin into scip-java (#879)
#2277
| Job | Run time |
|---|---|
| 6m 14s | |
| 1m 23s | |
| 4m 13s | |
| 9m 3s | |
| 4m 8s | |
| 12m 30s | |
| 14m 32s | |
| 3m 30s | |
| 4m 15s | |
| 3m 27s | |
| 9m 0s | |
| 1h 12m 15s |
scip-kotlin into scip-java (#879)
#2277
| Job | Run time |
|---|---|
| 6m 14s | |
| 1m 23s | |
| 4m 13s | |
| 9m 3s | |
| 4m 8s | |
| 12m 30s | |
| 14m 32s | |
| 3m 30s | |
| 4m 15s | |
| 3m 27s | |
| 9m 0s | |
| 1h 12m 15s |