Java CI

Updated pitest. Removed junit-platform-launcher (#296) #806

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (12.16)	8m 9s
build (13.12)	8m 6s
build (14.9)	9m 50s
build (15.4)	8m 10s
build (16.0)	8m 13s
	42m 28s