From: Luca Heltai Date: Thu, 13 Mar 2025 11:30:41 +0000 (-0700) Subject: Merge pull request #18241 from marcfehling/docker-test X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6a67e08714e2894296c4241b36a6c057cbcbd2d9;p=dealii.git Merge pull request #18241 from marcfehling/docker-test github-actions: Use all jobs to build docker image. --- 6a67e08714e2894296c4241b36a6c057cbcbd2d9