Main push checks

Revert "Update the format and tests related to using NO_DEFAULT_FORMA… #11

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
JDK-17 Build	1m 9s
JDK-21 Build	2m 19s
JDK-25 Build	2m 34s
JDK-20 Build	2m 20s
Publish	2m 2s
Build Site	1m 28s
Deploy site	11s
	12m 3s