diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index cbac29ad220..0b52307c6ea 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -44,6 +44,10 @@ jobs:
           - ocaml-compiler: 5.1.x
             os: macos-latest
             skip_test: true
+          # macOS x86_64 (Intel)
+          - ocaml-compiler: 4.14.x
+            os: macos-13
+            skip_test: true
           # OCaml 4:
           - ocaml-compiler: 4.13.x
             os: ubuntu-latest