From 8d221b93baf338f2fa0fcb796f538c558f725846 Mon Sep 17 00:00:00 2001
From: aspeddro <aspeddro@gmail.com>
Date: Thu, 16 Jan 2025 15:03:04 -0300
Subject: [PATCH 1/2] ci: disable docstrings tests on macOS 13

---
 scripts/test.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/test.js b/scripts/test.js
index b8cbebd572..9858a540b2 100644
--- a/scripts/test.js
+++ b/scripts/test.js
@@ -2,6 +2,7 @@
 const cp = require("child_process");
 const path = require("path");
 const fs = require("fs");
+const os = require("os");
 const { rescript_exe } = require("#cli/bin_path");
 
 const duneBinDir = require("./dune").duneBinDir;
@@ -125,6 +126,8 @@ async function runTests() {
   if (runtimeDocstrings) {
     if (process.platform === "win32") {
       console.log(`Skipping docstrings tests on ${process.platform}`);
+    } else if (process.platform === "darwin" && os.release().startsWith("22")) {
+      console.log("Skipping docstrings tests on macOS 13")
     } else {
       console.log("Running runtime docstrings tests");
 

From 9e4872d924ae0d574123baa0c3aff3389fb430a0 Mon Sep 17 00:00:00 2001
From: Christoph Knittel <christoph@knittel.cc>
Date: Sat, 18 Jan 2025 11:14:25 +0100
Subject: [PATCH 2/2] Add comment

---
 scripts/test.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/test.js b/scripts/test.js
index 9858a540b2..010103b42e 100644
--- a/scripts/test.js
+++ b/scripts/test.js
@@ -127,6 +127,7 @@ async function runTests() {
     if (process.platform === "win32") {
       console.log(`Skipping docstrings tests on ${process.platform}`);
     } else if (process.platform === "darwin" && os.release().startsWith("22")) {
+      // Workaround for intermittent hangs in CI
       console.log("Skipping docstrings tests on macOS 13")
     } else {
       console.log("Running runtime docstrings tests");