Back to pull request #2732

merge #2724 to the jetty-1.12.x branch #31

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
full-build	20m 47s
full-build	28m 12s
client-build	10m 33s
client-build	10m 33s
	1h 10m 5s