REPL: JLine: follow recommendation to use JNI, not JNA; also JLine 3.27.1 (was 3.27.0) #33617
Job | Run time |
---|---|
0s | |
19m 17s | |
0s | |
19m 15s | |
10m 25s | |
0s | |
19m 17s | |
19m 17s | |
19m 17s | |
19m 16s | |
0s | |
0s | |
8m 13s | |
0s | |
22s | |
0s | |
1s | |
1s | |
1s | |
1s | |
2h 14m 43s |
Job | Run time |
---|---|
0s | |
19m 17s | |
0s | |
19m 15s | |
10m 25s | |
0s | |
19m 17s | |
19m 17s | |
19m 17s | |
19m 16s | |
0s | |
0s | |
8m 13s | |
0s | |
22s | |
0s | |
1s | |
1s | |
1s | |
1s | |
2h 14m 43s |