Feature/merge #115

Job	Run time
build-docker (ubuntu-latest, docker/Dockerfile, amd64, mirage-git)	2m 24s
build-docker (ubuntu-24.04-arm, docker/Dockerfile, arm64, mirage-git)	2m 11s
	4m 35s

Provide feedback