Build - Docker

improve: migrate Thing and derivatives to shared_ptr #7078

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_docker_arm	19m 49s
build_docker_x86	21m 12s
	41m 1s