[INFO] cloning repository https://github.com/bpandreotti/verit-proof-checker
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bpandreotti/verit-proof-checker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 92fd8b4d2a9417bec5c3cf468fe874155db85d6c
[INFO] checking bpandreotti/verit-proof-checker against master#642c19bfc3a5c1de985bf5d0cc8207ac9d22708a for pr-148577
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/bpandreotti/verit-proof-checker
[INFO] finished tweaking git repo https://github.com/bpandreotti/verit-proof-checker
[INFO] tweaked toml for git repo https://github.com/bpandreotti/verit-proof-checker written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/bpandreotti/verit-proof-checker on toolchain 642c19bfc3a5c1de985bf5d0cc8207ac9d22708a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/bpandreotti/verit-proof-checker already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rug v1.27.0
[INFO] [stderr]   Downloaded gmp-mpfr-sys v1.6.7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c
[INFO] running `Command { std: "docker" "start" "-a" "e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c", kill_on_drop: false }`
[INFO] [stdout] e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4
[INFO] running `Command { std: "docker" "start" "-a" "b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4", kill_on_drop: false }`
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.6.7
[INFO] [stderr]    Compiling rug v1.27.0
[INFO] [stderr]     Checking indexmap v2.10.0
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]     Checking unicode-ident v1.0.18
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking os_str_bytes v6.6.1
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling test-generator v0.1.0 (/opt/rustwide/workdir/test-generator)
[INFO] [stderr]    Compiling const_format_proc_macros v0.2.34
[INFO] [stderr]    Compiling git-version-macro v0.3.9
[INFO] [stderr]     Checking textwrap v0.16.2
[INFO] [stderr]     Checking crossbeam-queue v0.3.12
[INFO] [stderr]     Checking proc-macro2 v1.0.101
[INFO] [stderr]     Checking walkdir v2.5.0
[INFO] [stderr]     Checking clap_lex v0.2.4
[INFO] [stderr]     Checking quote v1.0.40
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking git-version v0.3.9
[INFO] [stderr]     Checking syn v1.0.109
[INFO] [stderr]     Checking const_format v0.2.34
[INFO] [stderr]    Compiling clap_derive v3.2.25
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking clap v3.2.25
[INFO] [stderr]     Checking carcara v1.1.0 (/opt/rustwide/workdir/carcara)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> carcara/src/ast/context.rs:80:17
[INFO] [stdout]    |
[INFO] [stdout] 80 |     pub fn last(&self) -> Option<RwLockReadGuard<Option<Context>>> {
[INFO] [stdout]    |                 ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 80 |     pub fn last(&self) -> Option<RwLockReadGuard<'_, Option<Context>>> {
[INFO] [stdout]    |                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> carcara/src/ast/context.rs:86:21
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn last_mut(&mut self) -> Option<RwLockWriteGuard<Option<Context>>> {
[INFO] [stdout]    |                     ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn last_mut(&mut self) -> Option<RwLockWriteGuard<'_, Option<Context>>> {
[INFO] [stdout]    |                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/ast/printer.rs:438:25
[INFO] [stdout]     |
[INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<str> {
[INFO] [stdout]     |                         ^^^^     ^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> {
[INFO] [stdout]     |                                      +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/ast/printer.rs:461:26
[INFO] [stdout]     |
[INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<str> {
[INFO] [stdout]     |                          ^^^^     ^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<'_, str> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> carcara/src/ast/proof.rs:87:17
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn iter(&self) -> ProofIter {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn iter(&self) -> ProofIter<'_> {
[INFO] [stdout]    |                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/checker/rules/cutting_planes.rs:490:22
[INFO] [stdout]     |
[INFO] [stdout] 490 | fn term_to_ctv(term: &Rc<Term>) -> Result<CoeffTimesVar, Integer> {
[INFO] [stdout]     |                      ^^^^^^^^^            ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 490 | fn term_to_ctv(term: &Rc<Term>) -> Result<CoeffTimesVar<'_>, Integer> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/checker/rules/cutting_planes.rs:517:32
[INFO] [stdout]     |
[INFO] [stdout] 517 | fn collect_addition_list(term: &Rc<Term>) -> Result<Vec<CoeffTimesVar>, CheckerError> {
[INFO] [stdout]     |                                ^^^^^^^^^                ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 517 | fn collect_addition_list(term: &Rc<Term>) -> Result<Vec<CoeffTimesVar<'_>>, CheckerError> {
[INFO] [stdout]     |                                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/checker/rules/cutting_planes.rs:559:32
[INFO] [stdout]     |
[INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc<Term>) -> Result<(Vec<CoeffTimesVar>, Integer), CheckerError> {
[INFO] [stdout]     |                                ^^^^^^^^^                 ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc<Term>) -> Result<(Vec<CoeffTimesVar<'_>>, Integer), CheckerError> {
[INFO] [stdout]     |                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> carcara/src/ast/context.rs:80:17
[INFO] [stdout]    |
[INFO] [stdout] 80 |     pub fn last(&self) -> Option<RwLockReadGuard<Option<Context>>> {
[INFO] [stdout]    |                 ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 80 |     pub fn last(&self) -> Option<RwLockReadGuard<'_, Option<Context>>> {
[INFO] [stdout]    |                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> carcara/src/ast/context.rs:86:21
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn last_mut(&mut self) -> Option<RwLockWriteGuard<Option<Context>>> {
[INFO] [stdout]    |                     ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn last_mut(&mut self) -> Option<RwLockWriteGuard<'_, Option<Context>>> {
[INFO] [stdout]    |                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/ast/printer.rs:438:25
[INFO] [stdout]     |
[INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<str> {
[INFO] [stdout]     |                         ^^^^     ^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> {
[INFO] [stdout]     |                                      +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/ast/printer.rs:461:26
[INFO] [stdout]     |
[INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<str> {
[INFO] [stdout]     |                          ^^^^     ^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<'_, str> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> carcara/src/ast/proof.rs:87:17
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn iter(&self) -> ProofIter {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn iter(&self) -> ProofIter<'_> {
[INFO] [stdout]    |                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/checker/rules/cutting_planes.rs:490:22
[INFO] [stdout]     |
[INFO] [stdout] 490 | fn term_to_ctv(term: &Rc<Term>) -> Result<CoeffTimesVar, Integer> {
[INFO] [stdout]     |                      ^^^^^^^^^            ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 490 | fn term_to_ctv(term: &Rc<Term>) -> Result<CoeffTimesVar<'_>, Integer> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/checker/rules/cutting_planes.rs:517:32
[INFO] [stdout]     |
[INFO] [stdout] 517 | fn collect_addition_list(term: &Rc<Term>) -> Result<Vec<CoeffTimesVar>, CheckerError> {
[INFO] [stdout]     |                                ^^^^^^^^^                ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 517 | fn collect_addition_list(term: &Rc<Term>) -> Result<Vec<CoeffTimesVar<'_>>, CheckerError> {
[INFO] [stdout]     |                                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> carcara/src/checker/rules/cutting_planes.rs:559:32
[INFO] [stdout]     |
[INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc<Term>) -> Result<(Vec<CoeffTimesVar>, Integer), CheckerError> {
[INFO] [stdout]     |                                ^^^^^^^^^                 ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc<Term>) -> Result<(Vec<CoeffTimesVar<'_>>, Integer), CheckerError> {
[INFO] [stdout]     |                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking carcara-cli v1.1.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 05s
[INFO] running `Command { std: "docker" "inspect" "b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4", kill_on_drop: false }`
[INFO] [stdout] b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4
