CI

remove `build.properties` in scripted test #454

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (8, ubuntu-latest)	6m 37s
test (17, ubuntu-latest)	6m 45s
formatting	43s
	14m 5s