Dotty

REPL: JLine: follow recommendation to use JNI, not JNA; also JLine 3.… #33680

Job	Run time
test_non_bootstrapped	27m 56s
test	54m 18s
test_scala2_library_tasty	0s
community_build_a	54m 47s
MiMa	13m 16s
test_windows_fast	0s
test_windows_full	46m 25s
community_build_b	1h 24m 4s
test_sbt	20m 38s
community_build_c	59m 49s
build-msi-package	0s
test_java8	0s
build-sdk-package / build	8m 0s
test-msi-package	0s
build-chocolatey-package / build	17s
test-chocolatey-package	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	6h 9m 30s

Provide feedback