diff --git a/scripts/test.js b/scripts/test.js index b8cbebd572..010103b42e 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,9 @@ 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")) { + // Workaround for intermittent hangs in CI + console.log("Skipping docstrings tests on macOS 13") } else { console.log("Running runtime docstrings tests");