Build docker image

Use proper double type #109

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (ubuntu-latest)	14s
build-docker (ubuntu-24.04-arm)	20s
merge-docker	16s
	50s