Skip to content

Commit

Permalink
Fix docs.rs documentation: rustsat-kissat doc is broken, so do not bu…
Browse files Browse the repository at this point in the history
…ild optim-sat doc
  • Loading branch information
Coloquinte committed Jan 7, 2024
1 parent ff0744a commit 4d80a1b
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "volute"
version = "1.1.1"
version = "1.1.2"
edition = "2021"

authors = ["Gabriel Gouvine <gabriel.gouvine_cargo@m4x.org>"]
Expand Down Expand Up @@ -38,7 +38,8 @@ name = "canonization"
harness = false

[package.metadata.docs.rs]
# Document all features
all-features = true
# Document MIP optimization
# Rustsat doc is broken, so optim-sat is not documented
features = ["optim-mip"]
# Used to enable doc_cfg in nightly
rustdoc-args = ["--cfg", "docsrs"]

0 comments on commit 4d80a1b

Please sign in to comment.