From: Marc Fehling <mafehling.git@gmail.com>
Date: Tue, 26 Nov 2024 10:04:10 +0000 (+0100)
Subject: Merge pull request #17881 from tjhei/ci-arm-image-script
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b8e313b53f11c804906d6aff14cdc2f903609df4;p=dealii.git

Merge pull request #17881 from tjhei/ci-arm-image-script

add ci script for arm docker build
---

b8e313b53f11c804906d6aff14cdc2f903609df4