From 1832f6b4ce74c28639fa32595818654e32a12466 Mon Sep 17 00:00:00 2001
From: "Andres G. Aragoneses" <knocte@gmail.com>
Date: Sat, 12 Aug 2023 12:47:53 +0800
Subject: [PATCH] GitHubCI: add dotnet-only macOS build

In the same way we hacked/faked the uninstallation of dotnet
in "mono-only" build jobs, we hack the uninstallation of mono
now in MacOS (a platform that bundles it by default).
---
 .github/workflows/CI.yml | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index fa7ed7a7b..bcae1d2d3 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -41,7 +41,7 @@ jobs:
 
         find . -type f -name "*.fsx" | xargs -t -I {} dotnet fsxc {}
 
-  macOS--mono:
+  macOS--mono-only:
     runs-on: macOS-latest
     steps:
     - uses: actions/checkout@v1
@@ -64,6 +64,29 @@ jobs:
     - name: integration tests
       run: make update-servers
 
+  macOS--dotnet-only:
+    runs-on: macOS-latest
+    steps:
+    - uses: actions/checkout@v1
+      with:
+        submodules: false
+    - name: HACK to emulate mono uninstall
+      run: sudo rm -f `which mono` && sudo rm -rf `which msbuild`
+    - name: configure
+      run: ./configure.sh
+    - name: build in DEBUG mode
+      run: make
+    - name: sanity check
+      run: make sanitycheck
+    - name: unit tests
+      run: make check
+    - name: build in STRICT mode
+      run: git clean -fdx && ./configure.sh && make strict
+    - name: build in RELEASE mode
+      run: git clean -fdx && ./configure.sh && make release
+    - name: integration tests
+      run: make update-servers
+
   windows--dotnet6:
     runs-on: windows-latest
     steps: