diff --git a/ci_config.json b/ci_config.json index 8ef616fe8..18c6717be 100644 --- a/ci_config.json +++ b/ci_config.json @@ -736,6 +736,11 @@ ], "skip_tests": true }, + "monocypher": { + "build_on": { + "windows": false + } + }, "mpdecimal": { "build_options": [ "mpdecimal:examples=true",