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'