pocket_prover-set 0.4.0

A base logical system for PocketProver to reason about set properties
Documentation
Build #283628 2020-08-19T11:06:58.141856+00:00
# rustc version
rustc 1.47.0-nightly (30f0a0768 2020-08-18)
# docs.rs version
docsrs 0.6.0 (536807d 2020-08-18)

# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/pocket_prover-set-0.4.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/pocket_prover-set-0.4.0/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --static-root-path / --cap-lints warn --extern-html-root-url pocket_prover=https://docs.rs/pocket_prover/0.8.0 --extern-html-root-url pocket_prover_derive=https://docs.rs/pocket_prover-derive/0.4.0 --resource-suffix -20200818-1.47.0-nightly-30f0a0768" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--cpus" "2" "--user" "1001:1001" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "doc" "--lib" "--no-deps" "-j2", kill_on_drop: false }`
[INFO] [stdout] 5377b0fb05b081af00797cafdb6513e7e6f633341b1edd01bf5ae720575c94a1
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "5377b0fb05b081af00797cafdb6513e7e6f633341b1edd01bf5ae720575c94a1", kill_on_drop: false }`
[INFO] [stderr] /opt/crates-build-env/entrypoint.sh: line 7: /etc/hosts: Permission denied
[INFO] [stderr]    Compiling unicode-xid v0.0.4
[INFO] [stderr]    Compiling quote v0.3.15
[INFO] [stderr]     Checking pocket_prover v0.8.0
[INFO] [stderr]    Compiling synom v0.11.3
[INFO] [stderr]    Compiling syn v0.11.11
[INFO] [stderr]    Compiling pocket_prover-derive v0.4.0
[INFO] [stderr]  Documenting pocket_prover-set v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.79s
[INFO] running `Command { std: "docker" "inspect" "5377b0fb05b081af00797cafdb6513e7e6f633341b1edd01bf5ae720575c94a1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5377b0fb05b081af00797cafdb6513e7e6f633341b1edd01bf5ae720575c94a1", kill_on_drop: false }`
[INFO] [stdout] 5377b0fb05b081af00797cafdb6513e7e6f633341b1edd01bf5ae720575c94a1