CI

Remove some escaping from Javadoc that shouldn't be needed with newer… #5543

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
JDK 20 on ubuntu-latest	6m 12s
JDK 17 on ubuntu-latest	8m 57s
JDK 11 on ubuntu-latest	4m 30s
JDK 20 on macos-latest	12m 10s
JDK 20 on windows-latest	11m 0s
JDK 21-ea on ubuntu-latest	4m 50s
JDK 22-ea on ubuntu-latest	5m 20s
Publish snapshot	1m 24s
Generate latest docs	2m 12s
	56m 35s