Merge scip-kotlin into scip-java
#2273
| Job | Run time |
|---|---|
| 10m 35s | |
| 1m 22s | |
| 3m 14s | |
| 11m 56s | |
| 7m 33s | |
| 6m 29s | |
| 3m 41s | |
| 1m 17s | |
| 3m 22s | |
| 3m 54s | |
| 3m 57s | |
| 57m 20s |
scip-kotlin into scip-java
#2273
| Job | Run time |
|---|---|
| 10m 35s | |
| 1m 22s | |
| 3m 14s | |
| 11m 56s | |
| 7m 33s | |
| 6m 29s | |
| 3m 41s | |
| 1m 17s | |
| 3m 22s | |
| 3m 54s | |
| 3m 57s | |
| 57m 20s |