Java CI

improve tests by using a dedicated 'git repo' for testing #854

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run checkstyle	29s
Run basic test with Java 20	32s
Run basic test with Java 16	39s
Run basic test with Java 12	32s
Run basic test with Java 15	35s
Run basic test with Java 18	41s
Run basic test with Java 11	30s
Run basic test with Java 14	38s
Run basic test with Java 17	30s
Run basic test with Java 19	28s
Run basic test with Java 13	35s
Deploy snapshot	0s
	6m 9s