diff --git a/.github/workflows/macosx-arm64-520.yml b/.github/workflows/macosx-arm64-520.yml deleted file mode 100644 index ff78e2cbe..000000000 --- a/.github/workflows/macosx-arm64-520.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: macOS-ARM64 5.2 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-base-compiler.5.2.0' - runs_on: 'macos-14' diff --git a/.github/workflows/macosx-intel-520.yml b/.github/workflows/macosx-intel-520.yml deleted file mode 100644 index 8702776e3..000000000 --- a/.github/workflows/macosx-intel-520.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: macOS-intel 5.2 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-base-compiler.5.2.0' - runs_on: 'macos-13' diff --git a/.github/workflows/macosx-intel-530-trunk.yml b/.github/workflows/macosx-intel-530-trunk.yml deleted file mode 100644 index 197b47999..000000000 --- a/.github/workflows/macosx-intel-530-trunk.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: macOS-intel trunk - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk' - compiler_git_ref: refs/heads/trunk - runs_on: 'macos-13'