Build

Fix Doubles not being editable in the game-rule menu (#3397) #5807

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (17-jdk)	9m 39s
build (17-jdk)	9m 39s
server_test	8m 34s
server_test	8m 34s
client_test	3m 19s
client_test	8m 32s
build (20-jdk)	10m 31s
build (20-jdk)	10m 31s
check_resources	4m 13s
check_resources	4m 13s
	1h 17m 45s