Merge pull request #173954 from Homebrew/mono

.github/workflows/ci.yml: uninstall mono on ci

.github/workflows/ci.yml

@@ -96,6 +96,13 @@ jobs:
             echo '::warning::Removing Julia is no longer necessary.'
           fi
 
+          if ! rm /usr/local/share/man/man1/al.1 || \
+             ! sudo rm /etc/paths.d/mono-commands || \
+             ! sudo rm -r /Library/Frameworks/Mono.framework || \
+             ! sudo pkgutil --forget com.xamarin.mono-MDK.pkg; then
+            echo '::warning::Uninstalling Mono is no longer necessary.'
+          fi
+
           if ! rm /usr/local/bin/dotnet; then
             echo '::warning::Removing `dotnet` symlink is no longer necessary.'
           fi