Merge scip-kotlin into scip-java (#879)
#431
| Job | Run time |
|---|---|
| 3m 0s | |
| 3m 0s |
scip-kotlin into scip-java (#879)
#431
| Job | Run time |
|---|---|
| 3m 0s | |
| 3m 0s |