Build - Docker

improve: migrate Thing and derivatives to shared_ptr #7035

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_docker_arm	21m 53s
build_docker_x86	20m 45s
	42m 38s