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