From: David Wells <drwells@email.unc.edu>
Date: Wed, 21 Dec 2022 16:11:20 +0000 (-0500)
Subject: Merge pull request #14598 from masterleinad/dont_install_mold
X-Git-Tag: v9.5.0-rc1~713
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3a51c7203cee9bc6077c72e8f29902045f9a10b6;p=dealii.git

Merge pull request #14598 from masterleinad/dont_install_mold

Don't install mold linker in CI
---

3a51c7203cee9bc6077c72e8f29902045f9a10b6