CI at GitHub

push.yml: set up Java before cloning the GitHub repo #106

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Java17-MacOS	32s
Java8-Linux	33s
Java21-Windows	1m 6s
Java11-Linux	42s
	2m 53s