Build docker image

Gather constructors which need recursion #231

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (ubuntu-24.04-arm)	8m 53s
build-docker (ubuntu-latest)	9m 41s
merge-docker	25s
	18m 59s