CI Build

Merge pull request #6104 from chrisrueger/mvn-editor #4129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build JDK20 ubuntu-latest	15m 6s
Build JDK17 ubuntu-latest	20m 7s
Build JDK17 windows-latest	20m 6s
	55m 19s