Merge scip-kotlin into scip-java
#2270
| Job | Run time |
|---|---|
| 3m 1s | |
| 3m 28s | |
| 7m 50s | |
| 7m 35s | |
| 1m 16s | |
| 11m 10s | |
| 13m 49s | |
| 1m 25s | |
| 4m 2s | |
| 3m 57s | |
| 4m 11s | |
| 1h 1m 44s |
scip-kotlin into scip-java
#2270
| Job | Run time |
|---|---|
| 3m 1s | |
| 3m 28s | |
| 7m 50s | |
| 7m 35s | |
| 1m 16s | |
| 11m 10s | |
| 13m 49s | |
| 1m 25s | |
| 4m 2s | |
| 3m 57s | |
| 4m 11s | |
| 1h 1m 44s |