CI

Clarify how to use Pushgateway auto-configuration #4321

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Windows \| Java 21	6m 23s
Windows \| Java 22	6m 20s
Linux \| Java 21	8m 35s
Windows \| Java 17	6m 21s
Linux \| Java 23	8m 29s
Linux \| Java 22	7m 3s
Windows \| Java 23	6m 19s
	49m 30s