From d93e6d60e147386c30249e6650a8150a30409f5c Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 22 Nov 2023 12:20:25 +0100
Subject: [PATCH] REMOVE ME: Remove macOS workflows

---
 .github/workflows/macosx-500.yml       | 13 -------------
 .github/workflows/macosx-510.yml       | 10 ----------
 .github/workflows/macosx-520-trunk.yml | 11 -----------
 3 files changed, 34 deletions(-)
 delete mode 100644 .github/workflows/macosx-500.yml
 delete mode 100644 .github/workflows/macosx-510.yml
 delete mode 100644 .github/workflows/macosx-520-trunk.yml

diff --git a/.github/workflows/macosx-500.yml b/.github/workflows/macosx-500.yml
deleted file mode 100644
index 564c50acc..000000000
--- a/.github/workflows/macosx-500.yml
+++ /dev/null
@@ -1,13 +0,0 @@
-name: macOS 5.0.0
-
-on:
-  schedule:
-    # Every Sunday morning, at 1:11 UTC
-    - cron: '11 1 * * 0'
-  workflow_dispatch:
-
-jobs:
-  build:
-    uses: ./.github/workflows/common.yml
-    with:
-      runs_on: 'macos-latest'
diff --git a/.github/workflows/macosx-510.yml b/.github/workflows/macosx-510.yml
deleted file mode 100644
index dc535fc31..000000000
--- a/.github/workflows/macosx-510.yml
+++ /dev/null
@@ -1,10 +0,0 @@
-name: macOS 5.1
-
-on: [push, pull_request, workflow_dispatch]
-
-jobs:
-  build:
-    uses: ./.github/workflows/common.yml
-    with:
-      compiler: 'ocaml-base-compiler.5.1.0'
-      runs_on: 'macos-latest'
diff --git a/.github/workflows/macosx-520-trunk.yml b/.github/workflows/macosx-520-trunk.yml
deleted file mode 100644
index 415edc067..000000000
--- a/.github/workflows/macosx-520-trunk.yml
+++ /dev/null
@@ -1,11 +0,0 @@
-name: macOS trunk
-
-on: [push, pull_request, workflow_dispatch]
-
-jobs:
-  build:
-    uses: ./.github/workflows/common.yml
-    with:
-      compiler: 'ocaml-variants.5.2.0+trunk'
-      compiler_git_ref: refs/heads/trunk
-      runs_on: 'macos-latest'