Build and test

Prepare for release 1.25.2 #742

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_and_test (huawei, debug)	7m 54s
build_and_test (website, debug)	8m 28s
build_and_test (play, debug)	8m 29s
	24m 51s