[INFO] cloning repository https://github.com/plumchang/kani-hands-on
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/plumchang/kani-hands-on" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplumchang%2Fkani-hands-on", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplumchang%2Fkani-hands-on'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3e543944b38945f429ee39485bad3f1ba1b9d772
[INFO] testing plumchang/kani-hands-on against try#17092ad00ed8fe1e7f81a7e38238ff70779034b1 for pr-140985
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplumchang%2Fkani-hands-on" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/plumchang/kani-hands-on on toolchain 17092ad00ed8fe1e7f81a7e38238ff70779034b1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/plumchang/kani-hands-on
[INFO] finished tweaking git repo https://github.com/plumchang/kani-hands-on
[INFO] tweaked toml for git repo https://github.com/plumchang/kani-hands-on written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/plumchang/kani-hands-on 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" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 69fe7ff48026b69063f0a14f8ef221022e4835ba22660a8e56a54eab3de7dad1
[INFO] running `Command { std: "docker" "start" "-a" "69fe7ff48026b69063f0a14f8ef221022e4835ba22660a8e56a54eab3de7dad1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "69fe7ff48026b69063f0a14f8ef221022e4835ba22660a8e56a54eab3de7dad1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "69fe7ff48026b69063f0a14f8ef221022e4835ba22660a8e56a54eab3de7dad1", kill_on_drop: false }`
[INFO] [stdout] 69fe7ff48026b69063f0a14f8ef221022e4835ba22660a8e56a54eab3de7dad1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a4554d53f7d7ec34fd59b0c34353d1022a611663eeff62d49a97c869e39ae13f
[INFO] running `Command { std: "docker" "start" "-a" "a4554d53f7d7ec34fd59b0c34353d1022a611663eeff62d49a97c869e39ae13f", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling bytes v1.7.1
[INFO] [stderr]    Compiling pin-project-lite v0.2.14
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling pkg-config v0.3.30
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling cc v1.1.11
[INFO] [stderr]    Compiling vcpkg v0.2.15
[INFO] [stderr]    Compiling futures-core v0.3.30
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling slab v0.4.9
[INFO] [stderr]    Compiling bitflags v2.6.0
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling http v1.1.0
[INFO] [stderr]    Compiling pin-utils v0.1.0
[INFO] [stderr]    Compiling futures-task v0.3.30
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling syn v2.0.74
[INFO] [stderr]    Compiling futures-util v0.3.30
[INFO] [stderr]    Compiling tracing-core v0.1.32
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling mio v1.0.2
[INFO] [stderr]    Compiling socket2 v0.5.7
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling foreign-types-shared v0.1.1
[INFO] [stderr]    Compiling openssl v0.10.66
[INFO] [stderr]    Compiling futures-sink v0.3.30
[INFO] [stderr]    Compiling openssl-sys v0.9.103
[INFO] [stderr]    Compiling httparse v1.9.4
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling indexmap v2.4.0
[INFO] [stderr]    Compiling foreign-types v0.3.2
[INFO] [stderr]    Compiling tracing v0.1.40
[INFO] [stderr]    Compiling tinyvec_macros v0.1.1
[INFO] [stderr]    Compiling try-lock v0.2.5
[INFO] [stderr]    Compiling atomic-waker v1.1.2
[INFO] [stderr]    Compiling native-tls v0.2.12
[INFO] [stderr]    Compiling serde v1.0.207
[INFO] [stderr]    Compiling want v0.3.1
[INFO] [stderr]    Compiling tinyvec v1.8.0
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling futures-channel v0.3.30
[INFO] [stderr]    Compiling tower-service v0.3.3
[INFO] [stderr]    Compiling tower-layer v0.3.3
[INFO] [stderr]    Compiling percent-encoding v2.3.1
[INFO] [stderr]    Compiling openssl-probe v0.1.5
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling signal-hook v0.3.17
[INFO] [stderr]    Compiling form_urlencoded v1.2.1
[INFO] [stderr]    Compiling signal-hook-registry v1.4.2
[INFO] [stderr]    Compiling rustix v0.38.34
[INFO] [stderr]    Compiling serde_json v1.0.124
[INFO] [stderr]    Compiling unicode-bidi v0.3.15
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling unicode-normalization v0.1.23
[INFO] [stderr]    Compiling http-body-util v0.1.2
[INFO] [stderr]    Compiling base64 v0.22.1
[INFO] [stderr]    Compiling rustls-pki-types v1.8.0
[INFO] [stderr]    Compiling linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling signal-hook-mio v0.2.4
[INFO] [stderr]    Compiling rustls-pemfile v2.1.3
[INFO] [stderr]    Compiling idna v0.5.0
[INFO] [stderr]    Compiling encoding_rs v0.8.34
[INFO] [stderr]    Compiling ipnet v2.9.0
[INFO] [stderr]    Compiling sync_wrapper v1.0.1
[INFO] [stderr]    Compiling mime v0.3.17
[INFO] [stderr]    Compiling url v2.5.2
[INFO] [stderr]    Compiling tokio-macros v2.4.0
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]    Compiling pin-project-internal v1.1.5
[INFO] [stderr]    Compiling serde_derive v1.0.207
[INFO] [stderr]    Compiling tokio v1.39.2
[INFO] [stderr]    Compiling crossterm v0.28.1
[INFO] [stderr]    Compiling pin-project v1.1.5
[INFO] [stderr]    Compiling tokio-util v0.7.11
[INFO] [stderr]    Compiling tower v0.4.13
[INFO] [stderr]    Compiling tokio-native-tls v0.3.1
[INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device
[INFO] [stdout] error: failed to write to `/opt/rustwide/target/debug/deps/rmeta8JUwt0/full.rmeta`: No space left on device (os error 28)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tower` (lib) due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `tokio` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/17092ad00ed8fe1e7f81a7e38238ff70779034b1/bin/rustc --crate-name tokio --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-1.39.2/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="bytes"' --cfg 'feature="default"' --cfg 'feature="io-std"' --cfg 'feature="io-util"' --cfg 'feature="libc"' --cfg 'feature="macros"' --cfg 'feature="mio"' --cfg 'feature="net"' --cfg 'feature="rt"' --cfg 'feature="rt-multi-thread"' --cfg 'feature="socket2"' --cfg 'feature="sync"' --cfg 'feature="time"' --cfg 'feature="tokio-macros"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("bytes", "default", "fs", "full", "io-std", "io-util", "libc", "macros", "mio", "net", "parking_lot", "process", "rt", "rt-multi-thread", "signal", "signal-hook-registry", "socket2", "sync", "test-util", "time", "tokio-macros", "tracing", "windows-sys"))' -C metadata=ce8c3a9af230a0f6 -C extra-filename=-1facc8621cd7fd1c --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern bytes=/opt/rustwide/target/debug/deps/libbytes-23e98e3e91ed6cac.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-fe9819ecd9fb6bb5.rmeta --extern mio=/opt/rustwide/target/debug/deps/libmio-40ebef12cd518033.rmeta --extern pin_project_lite=/opt/rustwide/target/debug/deps/libpin_project_lite-e0c50e8704e39276.rmeta --extern socket2=/opt/rustwide/target/debug/deps/libsocket2-ff0e049cb8e7a9c2.rmeta --extern tokio_macros=/opt/rustwide/target/debug/deps/libtokio_macros-9cbd0ccb931cce9b.so --cap-lints allow --cap-lints=forbid` (exit status: 101)
[INFO] [stdout] error: failed to write /tmp/rustcf0fjsE/lib.rmeta: No space left on device (os error 28)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: failed to build archive at `/opt/rustwide/target/debug/deps/libopenssl-d16430688879716b.rlib`: No space left on device (os error 28)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `openssl` (lib) due to 1 previous error
[INFO] [stderr] error: could not compile `serde` (lib) due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "a4554d53f7d7ec34fd59b0c34353d1022a611663eeff62d49a97c869e39ae13f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a4554d53f7d7ec34fd59b0c34353d1022a611663eeff62d49a97c869e39ae13f", kill_on_drop: false }`
[INFO] [stdout] a4554d53f7d7ec34fd59b0c34353d1022a611663eeff62d49a97c869e39ae13f