From: Matthias Maier Date: Tue, 4 Jul 2023 22:23:48 +0000 (+0000) Subject: Merge pull request #15651 from tamiko/be_more_craceful X-Git-Tag: relicensing~746 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3d6cee9d5200b6193d16545fe8a169ffa11a06b0;p=dealii.git Merge pull request #15651 from tamiko/be_more_craceful Tests: if no numdiff executable is found fall back to running tests instead of dropping them --- 3d6cee9d5200b6193d16545fe8a169ffa11a06b0