Main push checks

updated name #5

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
JDK-25 Build	1m 0s
JDK-17 Build	1m 8s
JDK-21 Build	1m 2s
JDK-20 Build	1m 4s
Build Site	1s
Publish	1s
Deploy site	1s
	4m 17s