From: Daniel Arndt Date: Fri, 7 Mar 2025 14:54:39 +0000 (-0600) Subject: Merge pull request #214 from marcfehling/noble X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=21ff9bc7a9c8ba7fd4e92e8f388b825d7306a72e;p=code-gallery.git Merge pull request #214 from marcfehling/noble Add noble to github workflow. --- 21ff9bc7a9c8ba7fd4e92e8f388b825d7306a72e