Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# error kind Other
# pre-build errors the crate depends on yanked dependencies: Updating crates.io index error: failed to select a version for the requirement `creusot-std = "^0.12.0-dev"` candidate versions found which didn't match: 0.11.0, 0.10.0, 0.9.0 location searched: crates.io index required by package `vtcode-core v0.116.2 (/home/cratesfyi/workspace-builder4/builds/vtcode-core-0.116.2/source)`