[INFO] cloning repository https://github.com/Mesabloo/coqide.kak [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Mesabloo/coqide.kak" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e9df41aa80106a9cce7f0b32d0cbe43b7b54e91b [INFO] testing Mesabloo/coqide.kak against master#1ddedbaa5919b7b3e70d984660e21e844c615c97 for pr-128400 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Mesabloo/coqide.kak on toolchain 1ddedbaa5919b7b3e70d984660e21e844c615c97 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1ddedbaa5919b7b3e70d984660e21e844c615c97" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Mesabloo/coqide.kak [INFO] finished tweaking git repo https://github.com/Mesabloo/coqide.kak [INFO] tweaked toml for git repo https://github.com/Mesabloo/coqide.kak written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/Mesabloo/coqide.kak 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" "+1ddedbaa5919b7b3e70d984660e21e844c615c97" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [ERROR] this task or one of its parent failed! [ERROR] no output for 300 seconds [ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace. [INFO] testing Mesabloo/coqide.kak against try#33f1d8bb92813a1bfc23c093c9f443ab09290307 for pr-128400 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Mesabloo/coqide.kak on toolchain 33f1d8bb92813a1bfc23c093c9f443ab09290307 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Mesabloo/coqide.kak [INFO] finished tweaking git repo https://github.com/Mesabloo/coqide.kak [INFO] tweaked toml for git repo https://github.com/Mesabloo/coqide.kak written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/Mesabloo/coqide.kak 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" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [INFO] testing Mesabloo/coqide.kak against try#33f1d8bb92813a1bfc23c093c9f443ab09290307 for pr-128400 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Mesabloo/coqide.kak on toolchain 33f1d8bb92813a1bfc23c093c9f443ab09290307 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Mesabloo/coqide.kak [INFO] finished tweaking git repo https://github.com/Mesabloo/coqide.kak [INFO] tweaked toml for git repo https://github.com/Mesabloo/coqide.kak written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/Mesabloo/coqide.kak 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" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded log4rs v1.0.0 [INFO] [stderr] Downloaded async-signals v0.4.0 [INFO] [stderr] Downloaded unix-named-pipe v0.2.0 [INFO] [stderr] Downloaded anyhow v1.0.55 [INFO] [stderr] Downloaded arc-swap v0.4.8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 96df2e37cc6a8a0758eb332b4319db08e29128dcd545786f72ecb7f3da75c58c [INFO] running `Command { std: "docker" "start" "-a" "96df2e37cc6a8a0758eb332b4319db08e29128dcd545786f72ecb7f3da75c58c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "96df2e37cc6a8a0758eb332b4319db08e29128dcd545786f72ecb7f3da75c58c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "96df2e37cc6a8a0758eb332b4319db08e29128dcd545786f72ecb7f3da75c58c", kill_on_drop: false }` [INFO] [stdout] 96df2e37cc6a8a0758eb332b4319db08e29128dcd545786f72ecb7f3da75c58c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e11d9bbb793c15df1c7c88218bd8e48b44730eac90ebdabedc592b87fb01ef8d [INFO] running `Command { std: "docker" "start" "-a" "e11d9bbb793c15df1c7c88218bd8e48b44730eac90ebdabedc592b87fb01ef8d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.36 [INFO] [stderr] Compiling libc v0.2.119 [INFO] [stderr] Compiling syn v1.0.86 [INFO] [stderr] Compiling serde_derive v1.0.136 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling futures-core v0.3.21 [INFO] [stderr] Compiling memoffset v0.6.5 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling indexmap v1.8.0 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling instant v0.1.12 [INFO] [stderr] Compiling anyhow v1.0.55 [INFO] [stderr] Compiling futures-sink v0.3.21 [INFO] [stderr] Compiling serde_json v1.0.79 [INFO] [stderr] Compiling ryu v1.0.9 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling traitobject v0.1.0 [INFO] [stderr] Compiling quote v1.0.15 [INFO] [stderr] Compiling linked-hash-map v0.5.4 [INFO] [stderr] Compiling unsafe-any v0.4.2 [INFO] [stderr] Compiling yaml-rust v0.4.5 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling ordered-float v2.10.0 [INFO] [stderr] Compiling itoa v1.0.1 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling socket2 v0.4.4 [INFO] [stderr] Compiling signal-hook-registry v1.4.0 [INFO] [stderr] Compiling num_cpus v1.13.1 [INFO] [stderr] Compiling time v0.1.44 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling thread-id v3.3.0 [INFO] [stderr] Compiling nix v0.23.1 [INFO] [stderr] Compiling errno v0.2.8 [INFO] [stderr] Compiling typemap v0.3.3 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling log-mdc v0.1.0 [INFO] [stderr] Compiling arc-swap v0.4.8 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling nom v7.1.1 [INFO] [stderr] Compiling unix-named-pipe v0.2.0 [INFO] [stderr] Compiling bimap v0.6.2 [INFO] [stderr] Compiling exitcode v1.1.2 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling tokio-macros v1.7.0 [INFO] [stderr] Compiling thiserror-impl v1.0.30 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling async-signals v0.4.0 [INFO] [stderr] Compiling thiserror v1.0.30 [INFO] [stderr] Compiling serde_yaml v0.8.23 [INFO] [stderr] Compiling serde-value v0.7.0 [INFO] [stderr] Compiling mio v0.8.0 [INFO] [stderr] Compiling tokio v1.17.0 [INFO] [stderr] Compiling log4rs v1.0.0 [INFO] [stderr] Compiling tokio-util v0.6.9 [INFO] [stderr] Compiling tokio-stream v0.1.8 [INFO] [stderr] Compiling tokio-util v0.7.0 [INFO] [stderr] Compiling combine v4.6.3 [INFO] [stderr] Compiling daemon v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the feature `stdin_forwarders` has been stable since 1.62.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/bin/coq-parser.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(stdin_forwarders)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `client::commands::types::ClientCommand` [INFO] [stdout] --> src/bin/coqide-daemon.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | client::commands::types::ClientCommand, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.99s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: traitobject v0.1.0 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "e11d9bbb793c15df1c7c88218bd8e48b44730eac90ebdabedc592b87fb01ef8d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e11d9bbb793c15df1c7c88218bd8e48b44730eac90ebdabedc592b87fb01ef8d", kill_on_drop: false }` [INFO] [stdout] e11d9bbb793c15df1c7c88218bd8e48b44730eac90ebdabedc592b87fb01ef8d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 53bd83912b4b58cb18c5e5a159d60dd31dace10717134a78a7eb59d4dc066319 [INFO] running `Command { std: "docker" "start" "-a" "53bd83912b4b58cb18c5e5a159d60dd31dace10717134a78a7eb59d4dc066319", kill_on_drop: false }` [INFO] [stderr] Compiling daemon v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the feature `stdin_forwarders` has been stable since 1.62.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/bin/coq-parser.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(stdin_forwarders)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `client::commands::types::ClientCommand` [INFO] [stdout] --> src/bin/coqide-daemon.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | client::commands::types::ClientCommand, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.17s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: traitobject v0.1.0 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "53bd83912b4b58cb18c5e5a159d60dd31dace10717134a78a7eb59d4dc066319", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "53bd83912b4b58cb18c5e5a159d60dd31dace10717134a78a7eb59d4dc066319", kill_on_drop: false }` [INFO] [stdout] 53bd83912b4b58cb18c5e5a159d60dd31dace10717134a78a7eb59d4dc066319 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 6a70843ec0d333f5ff53bfe03749c4bf0a36d05bee47012b24cc593c1bb7e557 [INFO] running `Command { std: "docker" "start" "-a" "6a70843ec0d333f5ff53bfe03749c4bf0a36d05bee47012b24cc593c1bb7e557", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `client::commands::types::ClientCommand` [INFO] [stderr] --> src/bin/coqide-daemon.rs:17:5 [INFO] [stderr] | [INFO] [stderr] 17 | client::commands::types::ClientCommand, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: the feature `stdin_forwarders` has been stable since 1.62.0 and no longer requires an attribute to enable [INFO] [stderr] --> src/bin/coq-parser.rs:1:12 [INFO] [stderr] | [INFO] [stderr] 1 | #![feature(stdin_forwarders)] [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(stable_features)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `daemon` (bin "coqide-daemon" test) generated 1 warning (run `cargo fix --bin "coqide-daemon" --tests` to apply 1 suggestion) [INFO] [stderr] warning: `daemon` (bin "coq-parser" test) generated 1 warning [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: traitobject v0.1.0 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/daemon-e94a3cb4a6bb297d) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/coq-parser.rs (/opt/rustwide/target/debug/deps/coq_parser-8204cd35466b671f) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/coqide-daemon.rs (/opt/rustwide/target/debug/deps/coqide_daemon-58eaffaeed24a6f1) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests daemon [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "6a70843ec0d333f5ff53bfe03749c4bf0a36d05bee47012b24cc593c1bb7e557", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6a70843ec0d333f5ff53bfe03749c4bf0a36d05bee47012b24cc593c1bb7e557", kill_on_drop: false }` [INFO] [stdout] 6a70843ec0d333f5ff53bfe03749c4bf0a36d05bee47012b24cc593c1bb7e557