Build docker image

Merge pull request #1712 from bertmsk/patch-1 #240

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (ubuntu-24.04-arm)	8m 20s
build-docker (ubuntu-latest)	9m 34s
merge-docker	15s
	18m 9s