Update SOFA builder

Merge branch 'new_ubuntu_builder' into builders_transition #310

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sofabuilder_ubuntu	14m 23s
sofabuilder_fedora	8m 0s
	22m 23s