Remove prove from default features.

It compiles really long and LSP is unresponsive at that time.
cspr-rad · Jul 25, 2024 · 3bd10ad · 3bd10ad
1 parent 154471a
commit 3bd10ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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" ]