Build #1578242019-05-03T20:31:16.357482+00:00
# rustc version
rustc 1.36.0-nightly (00859e3e6 2019-04-29)# docs.rs version
cratesfyi 0.6.0 (a31865e 2019-04-29)# build log
Updating crates.io index
Downloading crates ...
Downloaded rust_smt v0.2.0
Fresh lazy_static v1.3.0
Checking z3-sys v0.4.0
Running `rustc --crate-name z3_sys /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/z3-sys-0.4.0/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 -C metadata=2afe02cdd4ec5d4d -C extra-filename=-2afe02cdd4ec5d4d --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --cap-lints allow`
Documenting rust_smt v0.2.0
Running `rustdoc --edition=2018 --crate-name rust_smt /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/rust_smt-0.2.0/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20190429-1.36.0-nightly-00859e3e6 --static-root-path / --disable-per-crate-search --extern-html-root-url 'lazy_static=https://docs.rs/lazy_static/1.3.0' --extern-html-root-url 'z3_sys=https://docs.rs/z3-sys/0.4.0' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern lazy_static=/home/cratesfyi/cratesfyi/debug/deps/liblazy_static-261fdfb3e28d1b69.rmeta --extern z3_sys=/home/cratesfyi/cratesfyi/debug/deps/libz3_sys-2afe02cdd4ec5d4d.rmeta`
Finished dev [unoptimized + debuginfo] target(s) in 4.43s