There was an error while loading. Please reload this page.
1 parent 4c1cbbd commit cbd4a71Copy full SHA for cbd4a71
1 file changed
crates/openshell-server/Cargo.toml
@@ -146,7 +146,7 @@ telemetry = ["openshell-core/telemetry"]
146
## enabling it alongside `telemetry` is a compile error rather than a silent
147
## telemetry-on build. Kept in sync with `default` by
148
## `rust:verify:defaults-without-telemetry`.
149
-defaults-without-telemetry = []
+defaults-without-telemetry = ["in-tree-compute-drivers"]
150
bundled-z3 = ["openshell-prover/bundled-z3"]
151
test-support = []
152
0 commit comments