Remove MacOS tests

These tests have not been consistently passing for some reason. I
currently do not have time to maintain the MacOS platform, so I will be
removing them from CI. Maintenance of this platform and fixing tests is
welcome to be taken up by another individual.

Author: 4e554c4c

.github/workflows/ci.yml

@@ -13,11 +13,11 @@ jobs:
     with:
       os: ubuntu-22.04
 
-  stack-macos:
-    name: Stack macOS
-    uses: ./.github/workflows/stack.yml
-    with:
-      os: macos-latest
+#  stack-macos:
+#    name: Stack macOS
+#    uses: ./.github/workflows/stack.yml
+#    with:
+#      os: macos-latest
 
   stack-windows:
     name: Stack Windows
@@ -32,8 +32,8 @@ jobs:
     with:
       os: ubuntu-22.04
 
-  nix-macos:
-    name: Nix macOS
-    uses: ./.github/workflows/nix.yml
-    with:
-      os: macos-latest
+#  nix-macos:
+#    name: Nix macOS
+#    uses: ./.github/workflows/nix.yml
+#    with:
+#      os: macos-latest

.github/workflows/nix-agda.yml

@@ -16,7 +16,9 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ 'macos-latest' , 'ubuntu-22.04']
+        os: 
+          # - 'macos-latest'
+          - 'ubuntu-22.04'
 
     name: Nix Agda
     runs-on: ${{ matrix.os }}