From: Luca Heltai Date: Wed, 12 Mar 2025 13:06:38 +0000 (-0700) Subject: Merge pull request #18172 from marcfehling/docker-arm64 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=666d72c29b832c182f50b91264c3d2e25d643b7c;p=dealii.git Merge pull request #18172 from marcfehling/docker-arm64 github: Build docker images for different platforms. --- 666d72c29b832c182f50b91264c3d2e25d643b7c