diff --git a/ext/spl/tests/gh14639.phpt b/ext/spl/tests/gh14639.phpt index 1b6f621d27b..db85b2b044e 100644 --- a/ext/spl/tests/gh14639.phpt +++ b/ext/spl/tests/gh14639.phpt @@ -7,6 +7,9 @@ memory_limit=2M if (getenv("USE_ZEND_ALLOC") === "0") { die("skip Zend MM disabled"); } +if (getenv("GITHUB_ACTIONS") && substr(PHP_OS, 0, 3) == "WIN") { + die("skip Segfaults in GitHub actions on Windows"); +} ?> --FILE--