From: Matthias Maier Date: Tue, 13 Aug 2024 21:12:10 +0000 (+0000) Subject: Merge pull request #17486 from marcfehling/test-examples X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=11494b547e9932d121906f689c854b6a0eb5d3f3;p=dealii.git Merge pull request #17486 from marcfehling/test-examples Test all examples. --- 11494b547e9932d121906f689c854b6a0eb5d3f3