From 3bd10ad66c1cff4802f9a8e8f6dbe7437766cd81 Mon Sep 17 00:00:00 2001 From: koxu1996 Date: Thu, 25 Jul 2024 09:34:37 +0200 Subject: [PATCH] Remove `prove` from default features. It compiles really long and LSP is unresponsive at that time. --- kairos-prover/kairos-prover-risc0-server/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kairos-prover/kairos-prover-risc0-server/Cargo.toml b/kairos-prover/kairos-prover-risc0-server/Cargo.toml index d0d7ebf0..aadabb39 100644 --- a/kairos-prover/kairos-prover-risc0-server/Cargo.toml +++ b/kairos-prover/kairos-prover-risc0-server/Cargo.toml @@ -6,7 +6,7 @@ license.workspace = true [features] -default = [ "prove" ] +default = [] write-test-proofs = [ "disable-dev-mode" ] disable-dev-mode = [ "risc0-zkvm/disable-dev-mode", "kairos-verifier-risc0-lib/disable-dev-mode" ] cuda = [ "risc0-zkvm/cuda", "disable-dev-mode" ]