From: Marc Fehling Date: Sat, 31 May 2025 10:03:21 +0000 (+0200) Subject: Merge pull request #18525 from masterleinad/add_macosx_ci_build X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eafce51cba12c8f834c6246b7d955ceb941b46bf;p=dealii.git Merge pull request #18525 from masterleinad/add_macosx_ci_build Add Mac OS 15 CI build --- eafce51cba12c8f834c6246b7d955ceb941b46bf