search

moves-rwth / docker-storm

Dockerfiles related to Storm
1 stars 0 forks source link

Support for multi-platform docker containers #8

Open sjunges opened 3 weeks ago

sjunges commented 3 weeks ago

See https://docs.docker.com/build/building/multi-platform/, which avoids QEMU

volkm commented 3 weeks ago

My proposal is to use multiple runners in Github actions to build the different platform images. The build would most likely be slow for the emulated runners, but at least we get multi-platform images. If arm64 runners are available in the CI at some point (probably end of the year), we could easily switch to a native build.

Another possibility in the meantime could be to build the amd64 images via the CI and manually build arm64 on our Macbook. Then we could manually merge both image types into one.