[INFO] fetching crate polyhorn-android-sys 0.4.0... [INFO] testing polyhorn-android-sys-0.4.0 against master#caccb4d0368bd918ef6668af8e13834d07040417 for pr-146098-1 [INFO] extracting crate polyhorn-android-sys 0.4.0 into /workspace/builds/worker-4-tc1/source [INFO] started tweaking crates.io crate polyhorn-android-sys 0.4.0 [INFO] finished tweaking crates.io crate polyhorn-android-sys 0.4.0 [INFO] tweaked toml for crates.io crate polyhorn-android-sys 0.4.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate polyhorn-android-sys 0.4.0 on toolchain caccb4d0368bd918ef6668af8e13834d07040417 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 29 packages to latest compatible versions [INFO] [stderr] Adding jni v0.17.0 (available: v0.21.1) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded polyhorn-build v0.4.1 [INFO] [stderr] Downloaded polyhorn-build-ios v0.4.0 [INFO] [stderr] Downloaded polyhorn-build-android v0.4.0 [INFO] [stderr] Downloaded jni v0.17.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b235d8b17243c6b2f01a675ecff4252cd983e7c0cd4fec6e94a8fcd2201dbe97 [INFO] running `Command { std: "docker" "start" "-a" "b235d8b17243c6b2f01a675ecff4252cd983e7c0cd4fec6e94a8fcd2201dbe97", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b235d8b17243c6b2f01a675ecff4252cd983e7c0cd4fec6e94a8fcd2201dbe97", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b235d8b17243c6b2f01a675ecff4252cd983e7c0cd4fec6e94a8fcd2201dbe97", kill_on_drop: false }` [INFO] [stdout] b235d8b17243c6b2f01a675ecff4252cd983e7c0cd4fec6e94a8fcd2201dbe97 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 03034df127ff18845d3e822756dd3484b4f544d609cb8a2a6b8d26ad7aa02f23 [INFO] running `Command { std: "docker" "start" "-a" "03034df127ff18845d3e822756dd3484b4f544d609cb8a2a6b8d26ad7aa02f23", kill_on_drop: false }` [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling cesu8 v1.1.0 [INFO] [stderr] Compiling jni-sys v0.3.0 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling combine v4.6.7 [INFO] [stderr] Compiling polyhorn-build-ios v0.4.0 [INFO] [stderr] Compiling backtrace v0.3.76 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling polyhorn-build-android v0.4.0 [INFO] [stderr] Compiling jni v0.17.0 [INFO] [stderr] Compiling polyhorn-build v0.4.1 [INFO] [stderr] Compiling polyhorn-android-sys v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/bridge.rs:14:16 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn env(&self) -> Env { [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] 14 | pub fn env(&self) -> Env<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a mutable reference to mutable static [INFO] [stdout] --> src/bridge.rs:43:13 [INFO] [stdout] | [INFO] [stdout] 43 | SHARED_VM.replace(vm); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ mutable reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: mutable references to mutable statics are dangerous; it's undefined behavior if any other pointer to the static is used or if any other reference is created for the static while the mutable reference lives [INFO] [stdout] = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a shared reference to mutable static [INFO] [stdout] --> src/bridge.rs:50:22 [INFO] [stdout] | [INFO] [stdout] 50 | env: SHARED_VM.as_ref().map(|vm| vm.get_env()).unwrap().unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/reference.rs:11:22 [INFO] [stdout] | [INFO] [stdout] 11 | pub fn as_object(&self) -> JObject { [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] 11 | pub fn as_object(&self) -> JObject<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.23s [INFO] running `Command { std: "docker" "inspect" "03034df127ff18845d3e822756dd3484b4f544d609cb8a2a6b8d26ad7aa02f23", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "03034df127ff18845d3e822756dd3484b4f544d609cb8a2a6b8d26ad7aa02f23", kill_on_drop: false }` [INFO] [stdout] 03034df127ff18845d3e822756dd3484b4f544d609cb8a2a6b8d26ad7aa02f23 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4937a9dbeac13c285ded6658b312d98735a9318dff9f5f75ab3292cfaead60c6 [INFO] running `Command { std: "docker" "start" "-a" "4937a9dbeac13c285ded6658b312d98735a9318dff9f5f75ab3292cfaead60c6", kill_on_drop: false }` [INFO] [stderr] Compiling polyhorn-android-sys v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/bridge.rs:14:16 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn env(&self) -> Env { [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] 14 | pub fn env(&self) -> Env<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a mutable reference to mutable static [INFO] [stdout] --> src/bridge.rs:43:13 [INFO] [stdout] | [INFO] [stdout] 43 | SHARED_VM.replace(vm); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ mutable reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: mutable references to mutable statics are dangerous; it's undefined behavior if any other pointer to the static is used or if any other reference is created for the static while the mutable reference lives [INFO] [stdout] = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a shared reference to mutable static [INFO] [stdout] --> src/bridge.rs:50:22 [INFO] [stdout] | [INFO] [stdout] 50 | env: SHARED_VM.as_ref().map(|vm| vm.get_env()).unwrap().unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/reference.rs:11:22 [INFO] [stdout] | [INFO] [stdout] 11 | pub fn as_object(&self) -> JObject { [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] 11 | pub fn as_object(&self) -> JObject<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/bridge.rs:14:16 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn env(&self) -> Env { [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] 14 | pub fn env(&self) -> Env<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a mutable reference to mutable static [INFO] [stdout] --> src/bridge.rs:43:13 [INFO] [stdout] | [INFO] [stdout] 43 | SHARED_VM.replace(vm); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ mutable reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: mutable references to mutable statics are dangerous; it's undefined behavior if any other pointer to the static is used or if any other reference is created for the static while the mutable reference lives [INFO] [stdout] = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a shared reference to mutable static [INFO] [stdout] --> src/bridge.rs:50:22 [INFO] [stdout] | [INFO] [stdout] 50 | env: SHARED_VM.as_ref().map(|vm| vm.get_env()).unwrap().unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/reference.rs:11:22 [INFO] [stdout] | [INFO] [stdout] 11 | pub fn as_object(&self) -> JObject { [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] 11 | pub fn as_object(&self) -> JObject<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.41s [INFO] running `Command { std: "docker" "inspect" "4937a9dbeac13c285ded6658b312d98735a9318dff9f5f75ab3292cfaead60c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4937a9dbeac13c285ded6658b312d98735a9318dff9f5f75ab3292cfaead60c6", kill_on_drop: false }` [INFO] [stdout] 4937a9dbeac13c285ded6658b312d98735a9318dff9f5f75ab3292cfaead60c6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 4cd624710cc681cdb6a0da743c0a3e1022303347719a5a2ff9b8cc1f9bca903f [INFO] running `Command { std: "docker" "start" "-a" "4cd624710cc681cdb6a0da743c0a3e1022303347719a5a2ff9b8cc1f9bca903f", kill_on_drop: false }` [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/bridge.rs:14:16 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn env(&self) -> Env { [INFO] [stderr] | ^^^^^ ^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 14 | pub fn env(&self) -> Env<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: creating a mutable reference to mutable static [INFO] [stderr] --> src/bridge.rs:43:13 [INFO] [stderr] | [INFO] [stderr] 43 | SHARED_VM.replace(vm); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ mutable reference to mutable static [INFO] [stderr] | [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: mutable references to mutable statics are dangerous; it's undefined behavior if any other pointer to the static is used or if any other reference is created for the static while the mutable reference lives [INFO] [stderr] = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: creating a shared reference to mutable static [INFO] [stderr] --> src/bridge.rs:50:22 [INFO] [stderr] | [INFO] [stderr] 50 | env: SHARED_VM.as_ref().map(|vm| vm.get_env()).unwrap().unwrap(), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stderr] | [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/reference.rs:11:22 [INFO] [stderr] | [INFO] [stderr] 11 | pub fn as_object(&self) -> JObject { [INFO] [stderr] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 11 | pub fn as_object(&self) -> JObject<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `polyhorn-android-sys` (lib) generated 4 warnings (run `cargo fix --lib -p polyhorn-android-sys` to apply 2 suggestions) [INFO] [stderr] warning: `polyhorn-android-sys` (lib test) generated 4 warnings (4 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/polyhorn_android_sys-36846ffaee7bbb47) [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 polyhorn_android_sys [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" "4cd624710cc681cdb6a0da743c0a3e1022303347719a5a2ff9b8cc1f9bca903f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4cd624710cc681cdb6a0da743c0a3e1022303347719a5a2ff9b8cc1f9bca903f", kill_on_drop: false }` [INFO] [stdout] 4cd624710cc681cdb6a0da743c0a3e1022303347719a5a2ff9b8cc1f9bca903f