From: Marc Fehling Date: Mon, 17 Mar 2025 15:04:27 +0000 (+0100) Subject: Merge pull request #18235 from luca-heltai/docker-refactor X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1646a780acf359891c9455207cd4a65aa5bf505e;p=dealii.git Merge pull request #18235 from luca-heltai/docker-refactor Refactor Docker workflow to streamline image tagging --- 1646a780acf359891c9455207cd4a65aa5bf505e