[INFO] cloning repository https://github.com/OCamlPro/sat_micro_rust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/OCamlPro/sat_micro_rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fsat_micro_rust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fsat_micro_rust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 2813963ad7b55d9a8a7d1047653fc6393b3d7d1e [INFO] checking OCamlPro/sat_micro_rust against master#18a6d911caba59605eb03db1452848a85d2e5879 for pr-112743 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fsat_micro_rust" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/OCamlPro/sat_micro_rust on toolchain 18a6d911caba59605eb03db1452848a85d2e5879 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+18a6d911caba59605eb03db1452848a85d2e5879" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/OCamlPro/sat_micro_rust [INFO] finished tweaking git repo https://github.com/OCamlPro/sat_micro_rust [INFO] tweaked toml for git repo https://github.com/OCamlPro/sat_micro_rust written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/OCamlPro/sat_micro_rust 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" "+18a6d911caba59605eb03db1452848a85d2e5879" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/AdrienChampion/implem` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+18a6d911caba59605eb03db1452848a85d2e5879" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 876aee5020ce96b1baad0542d5cbb8454bc47960e3d37d76730cfb596989cf84 [INFO] running `Command { std: "docker" "start" "-a" "876aee5020ce96b1baad0542d5cbb8454bc47960e3d37d76730cfb596989cf84", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "876aee5020ce96b1baad0542d5cbb8454bc47960e3d37d76730cfb596989cf84", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "876aee5020ce96b1baad0542d5cbb8454bc47960e3d37d76730cfb596989cf84", kill_on_drop: false }` [INFO] [stdout] 876aee5020ce96b1baad0542d5cbb8454bc47960e3d37d76730cfb596989cf84 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+18a6d911caba59605eb03db1452848a85d2e5879" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4766f2d10d0cb1788bcf9710d6edf6ac4b71097a1198c58475d58c2b917459f4 [INFO] running `Command { std: "docker" "start" "-a" "4766f2d10d0cb1788bcf9710d6edf6ac4b71097a1198c58475d58c2b917459f4", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.140 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling cc v1.0.79 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Checking once_cell v1.17.1 [INFO] [stderr] Compiling pkg-config v0.3.26 [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling proc-macro2 v1.0.53 [INFO] [stderr] Compiling unicode-ident v1.0.8 [INFO] [stderr] Compiling quote v1.0.26 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking itoa v1.0.6 [INFO] [stderr] Checking adler v1.0.2 [INFO] [stderr] Checking pin-project-lite v0.2.9 [INFO] [stderr] Compiling futures-core v0.3.27 [INFO] [stderr] Checking gimli v0.27.2 [INFO] [stderr] Compiling crossbeam-utils v0.8.15 [INFO] [stderr] Checking bytes v1.4.0 [INFO] [stderr] Checking miniz_oxide v0.6.2 [INFO] [stderr] Checking implem v0.2.0 (https://github.com/AdrienChampion/implem#49534619) [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking rustc-demangle v0.1.22 [INFO] [stderr] Compiling futures-task v0.3.27 [INFO] [stderr] Compiling memoffset v0.8.0 [INFO] [stderr] Compiling tokio v1.26.0 [INFO] [stderr] Compiling ahash v0.8.3 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling crossbeam-epoch v0.9.14 [INFO] [stderr] Compiling slab v0.4.8 [INFO] [stderr] Checking tracing-core v0.1.30 [INFO] [stderr] Compiling futures-util v0.3.27 [INFO] [stderr] Compiling openssl v0.10.48 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Checking os_str_bytes v6.5.0 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking http v0.2.9 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Compiling native-tls v0.2.11 [INFO] [stderr] Checking object v0.30.3 [INFO] [stderr] Compiling time-core v0.1.0 [INFO] [stderr] Compiling rayon-core v1.11.0 [INFO] [stderr] Checking futures-sink v0.3.27 [INFO] [stderr] Compiling io-lifetimes v1.0.9 [INFO] [stderr] Checking tracing v0.1.37 [INFO] [stderr] Checking tinyvec_macros v0.1.1 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Checking futures-io v0.3.27 [INFO] [stderr] Compiling httparse v1.8.0 [INFO] [stderr] Compiling futures-channel v0.3.27 [INFO] [stderr] Checking tinyvec v1.6.0 [INFO] [stderr] Checking crossbeam-deque v0.8.3 [INFO] [stderr] Compiling time-macros v0.2.8 [INFO] [stderr] Checking crossbeam-channel v0.5.7 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking openssl-probe v0.1.5 [INFO] [stderr] Checking percent-encoding v2.2.0 [INFO] [stderr] Checking try-lock v0.2.4 [INFO] [stderr] Checking num_threads v0.1.6 [INFO] [stderr] Compiling rustix v0.36.11 [INFO] [stderr] Compiling serde v1.0.158 [INFO] [stderr] Checking form_urlencoded v1.1.0 [INFO] [stderr] Checking want v0.3.0 [INFO] [stderr] Checking linux-raw-sys v0.1.4 [INFO] [stderr] Compiling openssl-sys v0.9.83 [INFO] [stderr] Compiling backtrace v0.3.67 [INFO] [stderr] Compiling lzma-sys v0.1.20 [INFO] [stderr] Checking http-body v0.4.5 [INFO] [stderr] Checking tower-service v0.3.2 [INFO] [stderr] Compiling crc32fast v1.3.2 [INFO] [stderr] Checking either v1.8.1 [INFO] [stderr] Checking httpdate v1.0.2 [INFO] [stderr] Checking unicode-bidi v0.3.13 [INFO] [stderr] Compiling portable-atomic v0.3.19 [INFO] [stderr] Compiling syn v2.0.10 [INFO] [stderr] Checking ryu v1.0.13 [INFO] [stderr] Checking num_cpus v1.15.0 [INFO] [stderr] Checking getrandom v0.2.8 [INFO] [stderr] Checking socket2 v0.4.9 [INFO] [stderr] Checking mio v0.8.6 [INFO] [stderr] Checking unicode-normalization v0.1.22 [INFO] [stderr] Checking xz2 v0.1.7 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Checking unicode-width v0.1.10 [INFO] [stderr] Checking base v0.1.0 (/opt/rustwide/workdir/base) [INFO] [stderr] Checking dpll v0.1.0 (/opt/rustwide/workdir/dpll) [INFO] [stderr] Checking console v0.15.5 [INFO] [stderr] Checking addr2line v0.19.0 [INFO] [stderr] Checking rayon v1.7.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking filetime v0.2.20 [INFO] [stderr] Checking xattr v0.2.3 [INFO] [stderr] Checking idna v0.3.0 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking clap_lex v0.3.3 [INFO] [stderr] Checking encoding_rs v0.8.32 [INFO] [stderr] Checking textwrap v0.16.0 [INFO] [stderr] Checking ipnet v2.7.1 [INFO] [stderr] Checking base64 v0.21.0 [INFO] [stderr] Checking number_prefix v0.4.0 [INFO] [stderr] Checking mime v0.3.17 [INFO] [stderr] Checking indicatif v0.17.3 [INFO] [stderr] Checking clap v3.2.23 [INFO] [stderr] Checking tar v0.4.38 [INFO] [stderr] Checking flate2 v1.0.25 [INFO] [stderr] Checking url v2.3.1 [INFO] [stderr] Checking time v0.3.20 [INFO] [stderr] Checking simplelog v0.12.1 [INFO] [stderr] Checking is-terminal v0.4.5 [INFO] [stderr] Checking front v0.1.0 (/opt/rustwide/workdir/front) [INFO] [stderr] Checking sat_micro v0.1.0 (/opt/rustwide/workdir/sat_micro) [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Compiling openssl-macros v0.1.0 [INFO] [stderr] Compiling clap_derive v4.1.12 [INFO] [stderr] Checking tokio-util v0.7.7 [INFO] [stderr] Checking h2 v0.3.16 [INFO] [stderr] Checking clap v4.1.13 [INFO] [stderr] Checking tokio-native-tls v0.3.1 [INFO] [stderr] Checking hyper v0.14.25 [INFO] [stderr] Checking sat_micro_bin v0.1.0 (/opt/rustwide/workdir/sat_micro_bin) [INFO] [stderr] Checking hyper-tls v0.5.0 [INFO] [stderr] Checking reqwest v0.11.15 [INFO] [stderr] Checking test_all v0.1.0 (/opt/rustwide/workdir/test_all) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 10.35s [INFO] running `Command { std: "docker" "inspect" "4766f2d10d0cb1788bcf9710d6edf6ac4b71097a1198c58475d58c2b917459f4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4766f2d10d0cb1788bcf9710d6edf6ac4b71097a1198c58475d58c2b917459f4", kill_on_drop: false }` [INFO] [stdout] 4766f2d10d0cb1788bcf9710d6edf6ac4b71097a1198c58475d58c2b917459f4