diff --git a/tests/test-sources/plugins/by-name/lean/default.nix b/tests/test-sources/plugins/by-name/lean/default.nix
index 5f8119ed2c..25fbfdac37 100644
--- a/tests/test-sources/plugins/by-name/lean/default.nix
+++ b/tests/test-sources/plugins/by-name/lean/default.nix
@@ -1,4 +1,12 @@
-{
+{ lib, pkgs, ... }:
+let
+  platform = pkgs.stdenv.hostPlatform;
+
+  # TODO: `cadical`, one of `lean4`'s dependencies is broken on x86_64-darwin
+  # https://github.com/NixOS/nixpkgs/pull/371275
+  doRun = !(platform.isDarwin && platform.isx86_64);
+in
+lib.optionalAttrs doRun {
   empty = {
     plugins.lean.enable = true;
   };