From: Rene Gassmoeller Date: Tue, 25 Jun 2024 15:25:33 +0000 (-0600) Subject: Merge pull request #17173 from luca-heltai/docker-buildx-multi-platform X-Git-Tag: v9.6.0-rc1~158 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c60a4d5b3530c6d8f5b9d771ae3f60ec8c03bfff;p=dealii.git Merge pull request #17173 from luca-heltai/docker-buildx-multi-platform Add multi platform docker images. --- c60a4d5b3530c6d8f5b9d771ae3f60ec8c03bfff