Build and test

Prepare for release 1.25.2 #746

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_and_test (website, debug)	7m 1s
build_and_test (huawei, debug)	6m 56s
build_and_test (play, debug)	7m 10s
	21m 7s