[INFO] cloning repository https://github.com/WeeGTeam/KaniTags-Server [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/WeeGTeam/KaniTags-Server" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWeeGTeam%2FKaniTags-Server", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWeeGTeam%2FKaniTags-Server'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 2aa02b11e948a650d359b176259bdb088c3653c9 [INFO] checking WeeGTeam/KaniTags-Server against be3da1e8c043bb6f1f335463d3b1335cdf50b03c for pr-162597 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWeeGTeam%2FKaniTags-Server" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-7-tc2/source/.cargo/config.toml [INFO] removed /workspace/builds/worker-7-tc2/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/WeeGTeam/KaniTags-Server [INFO] finished tweaking git repo https://github.com/WeeGTeam/KaniTags-Server [INFO] tweaked toml for git repo https://github.com/WeeGTeam/KaniTags-Server written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/WeeGTeam/KaniTags-Server on toolchain be3da1e8c043bb6f1f335463d3b1335cdf50b03c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+be3da1e8c043bb6f1f335463d3b1335cdf50b03c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/WeeGTeam/KaniTags-Server 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" "+be3da1e8c043bb6f1f335463d3b1335cdf50b03c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: unused workspace dependency `axum-macros` [INFO] [stderr] --> Cargo.toml:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | axum-macros = "0.5.1" [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_workspace_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the workspace dependency `axum-macros` [INFO] [stderr] warning: unused workspace dependency `axum_typed_multipart` [INFO] [stderr] --> Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | axum_typed_multipart = "0.16.5" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the workspace dependency `axum_typed_multipart` [INFO] [stderr] warning: unused workspace dependency `serde_json` [INFO] [stderr] --> Cargo.toml:31:1 [INFO] [stderr] | [INFO] [stderr] 31 | serde_json = "1.0.149" [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the workspace dependency `serde_json` [INFO] [stderr] warning: unused workspace dependency `strum_macros` [INFO] [stderr] --> Cargo.toml:34:1 [INFO] [stderr] | [INFO] [stderr] 34 | strum_macros = "0.28.0" [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the workspace dependency `strum_macros` [INFO] [stderr] warning: workspace (manifest) generated 4 warnings [INFO] [stderr] warning: binary `kani_server` should have a kebab-case name [INFO] [stderr] | [INFO] [stderr] 1 | /workspace/builds/worker-7-tc2/source/target/.../kani_server [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::non_kebab_case_bins` is set to `warn` by default [INFO] [stderr] help: to change the binary name to `kani-server`, convert `bin.name` [INFO] [stderr] --> kani_server/Cargo.toml:9:8 [INFO] [stderr] | [INFO] [stderr] 9 - name = "kani_server" [INFO] [stderr] 9 + name = "kani-server" [INFO] [stderr] | [INFO] [stderr] warning: `kani-server` (manifest) generated 1 warning [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042 [INFO] running `Command { std: "docker" "start" "201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042" "/opt/rustwide/cargo-home/bin/cargo" "+be3da1e8c043bb6f1f335463d3b1335cdf50b03c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042" "/opt/rustwide/cargo-home/bin/cargo" "+be3da1e8c043bb6f1f335463d3b1335cdf50b03c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] warning: unused workspace dependency `axum-macros` [INFO] [stderr] --> Cargo.toml:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | axum-macros = "0.5.1" [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_workspace_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the workspace dependency `axum-macros` [INFO] [stderr] warning: unused workspace dependency `axum_typed_multipart` [INFO] [stderr] --> Cargo.toml:12:1 [INFO] [stderr] | [INFO] [stderr] 12 | axum_typed_multipart = "0.16.5" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the workspace dependency `axum_typed_multipart` [INFO] [stderr] warning: unused workspace dependency `serde_json` [INFO] [stderr] --> Cargo.toml:31:1 [INFO] [stderr] | [INFO] [stderr] 31 | serde_json = "1.0.149" [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the workspace dependency `serde_json` [INFO] [stderr] warning: unused workspace dependency `strum_macros` [INFO] [stderr] --> Cargo.toml:34:1 [INFO] [stderr] | [INFO] [stderr] 34 | strum_macros = "0.28.0" [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the workspace dependency `strum_macros` [INFO] [stderr] warning: workspace (manifest) generated 4 warnings [INFO] [stderr] warning: binary `kani_server` should have a kebab-case name [INFO] [stderr] | [INFO] [stderr] 1 | /opt/rustwide/target/.../kani_server [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::non_kebab_case_bins` is set to `warn` by default [INFO] [stderr] help: to change the binary name to `kani-server`, convert `bin.name` [INFO] [stderr] --> kani_server/Cargo.toml:9:8 [INFO] [stderr] | [INFO] [stderr] 9 - name = "kani_server" [INFO] [stderr] 9 + name = "kani-server" [INFO] [stderr] | [INFO] [stderr] warning: `kani-server` (manifest) generated 1 warning [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling equator-macro v0.4.2 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Checking regex-syntax v0.8.10 [INFO] [stderr] Checking as-slice v0.2.1 [INFO] [stderr] Compiling zerocopy-derive v0.8.48 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Compiling built v0.8.0 [INFO] [stderr] Checking aligned v0.4.3 [INFO] [stderr] Checking thiserror v2.0.18 [INFO] [stderr] Checking mio v1.2.0 [INFO] [stderr] Checking socket2 v0.6.3 [INFO] [stderr] Checking nom v8.0.0 [INFO] [stderr] Checking no_std_io2 v0.9.4 [INFO] [stderr] Compiling profiling-procmacros v1.0.18 [INFO] [stderr] Compiling arg_enum_proc_macro v0.3.4 [INFO] [stderr] Checking rayon v1.12.0 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking bitstream-io v4.10.0 [INFO] [stderr] Compiling num-derive v0.4.2 [INFO] [stderr] Checking profiling v1.0.18 [INFO] [stderr] Compiling simd_helpers v0.1.0 [INFO] [stderr] Checking imgref v1.12.1 [INFO] [stderr] Checking zerofrom v0.1.8 [INFO] [stderr] Checking rgb v0.8.53 [INFO] [stderr] Checking equator v0.4.2 [INFO] [stderr] Checking loop9 v0.1.5 [INFO] [stderr] Checking futures-util v0.3.32 [INFO] [stderr] Checking tokio v1.52.3 [INFO] [stderr] Checking qoi v0.4.1 [INFO] [stderr] Checking png v0.18.1 [INFO] [stderr] Compiling rav1e v0.8.1 [INFO] [stderr] Checking aligned-vec v0.6.4 [INFO] [stderr] Checking yoke v0.8.2 [INFO] [stderr] Checking parking_lot_core v0.9.12 [INFO] [stderr] Compiling strum_macros v0.28.0 [INFO] [stderr] Compiling rand v0.8.6 [INFO] [stderr] Checking zerovec v0.11.6 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Checking parking_lot v0.12.5 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Checking http v1.4.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking v_frame v0.3.9 [INFO] [stderr] Checking chrono v0.4.44 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking moxcms v0.8.1 [INFO] [stderr] Compiling phf_generator v0.11.3 [INFO] [stderr] Checking tracing v0.1.44 [INFO] [stderr] Compiling mockall_derive v0.15.0 [INFO] [stderr] Checking predicates-core v1.0.10 [INFO] [stderr] Checking zerotrie v0.2.4 [INFO] [stderr] Checking tinystr v0.8.3 [INFO] [stderr] Checking potential_utf v0.1.5 [INFO] [stderr] Checking termtree v0.5.1 [INFO] [stderr] Compiling mockall v0.15.0 [INFO] [stderr] Checking icu_locale_core v2.2.0 [INFO] [stderr] Checking icu_collections v2.2.0 [INFO] [stderr] Checking predicates v3.1.4 [INFO] [stderr] Checking http-body v1.0.1 [INFO] [stderr] Checking regex-automata v0.4.14 [INFO] [stderr] Checking predicates-tree v1.0.13 [INFO] [stderr] Checking fragile v2.1.0 [INFO] [stderr] Checking typenum v1.20.0 [INFO] [stderr] Checking downcast v0.11.0 [INFO] [stderr] Compiling phf_macros v0.11.3 [INFO] [stderr] Compiling phf_codegen v0.11.3 [INFO] [stderr] Compiling string_cache_codegen v0.5.4 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Compiling getrandom v0.4.2 [INFO] [stderr] Checking icu_provider v2.2.0 [INFO] [stderr] Compiling darling_core v0.21.3 [INFO] [stderr] Checking string_cache v0.8.9 [INFO] [stderr] Compiling web_atoms v0.1.3 [INFO] [stderr] Checking icu_normalizer v2.2.0 [INFO] [stderr] Checking icu_properties v2.2.0 [INFO] [stderr] Compiling multer v3.1.0 [INFO] [stderr] Checking phf v0.11.3 [INFO] [stderr] Compiling pq-sys v0.7.5 [INFO] [stderr] Checking maybe-rayon v0.1.1 [INFO] [stderr] Checking av-scenechange v0.14.1 [INFO] [stderr] Compiling time-macros v0.2.27 [INFO] [stderr] Compiling darling_macro v0.20.11 [INFO] [stderr] Checking strum v0.28.0 [INFO] [stderr] Checking serde_json v1.0.149 [INFO] [stderr] Checking http-body-util v0.1.3 [INFO] [stderr] Compiling cookie v0.18.1 [INFO] [stderr] Compiling proc-macro-error-attr2 v2.0.0 [INFO] [stderr] Checking spin v0.9.8 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling diesel_derives v2.3.9 [INFO] [stderr] Compiling winnow v1.0.3 [INFO] [stderr] Compiling proc-macro-error2 v2.0.1 [INFO] [stderr] Checking axum-core v0.5.6 [INFO] [stderr] error: could not compile `futures-util` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/be3da1e8c043bb6f1f335463d3b1335cdf50b03c/bin/rustc --crate-name futures_util --edition=2018 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/futures-util-0.3.32/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat,unused-externs-silent --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="alloc"' --cfg 'feature="async-await"' --cfg 'feature="async-await-macro"' --cfg 'feature="channel"' --cfg 'feature="futures-channel"' --cfg 'feature="futures-io"' --cfg 'feature="futures-macro"' --cfg 'feature="futures-sink"' --cfg 'feature="io"' --cfg 'feature="memchr"' --cfg 'feature="sink"' --cfg 'feature="slab"' --cfg 'feature="std"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("alloc", "async-await", "async-await-macro", "bilock", "cfg-target-has-atomic", "channel", "compat", "default", "futures-channel", "futures-io", "futures-macro", "futures-sink", "futures_01", "io", "io-compat", "libc", "memchr", "portable-atomic", "sink", "slab", "spin", "std", "tokio-io", "unstable", "write-all-vectored"))' -C metadata=c46bd743e44374e9 -C extra-filename=-07cde9eaa201d17a --out-dir /opt/rustwide/target/debug/build/futures-util/07cde9eaa201d17a/out -L dependency=/opt/rustwide/target/debug/build/futures-core/1cd512d543215c04/out -L dependency=/opt/rustwide/target/debug/build/futures-sink/41a0fad9cb409f5f/out --extern futures_channel=/opt/rustwide/target/debug/build/futures-channel/51fec89811e16e23/out/libfutures_channel-51fec89811e16e23.rmeta --extern futures_core=/opt/rustwide/target/debug/build/futures-core/1cd512d543215c04/out/libfutures_core-1cd512d543215c04.rmeta --extern futures_io=/opt/rustwide/target/debug/build/futures-io/ee83dd0d8cfe75cb/out/libfutures_io-ee83dd0d8cfe75cb.rmeta --extern futures_macro=/opt/rustwide/target/debug/build/futures-macro/497fa74e1fd189b0/out/libfutures_macro-497fa74e1fd189b0.so --extern futures_sink=/opt/rustwide/target/debug/build/futures-sink/41a0fad9cb409f5f/out/libfutures_sink-41a0fad9cb409f5f.rmeta --extern futures_task=/opt/rustwide/target/debug/build/futures-task/bde3b8216abf23c5/out/libfutures_task-bde3b8216abf23c5.rmeta --extern memchr=/opt/rustwide/target/debug/build/memchr/3d944e3b9ac373a3/out/libmemchr-3d944e3b9ac373a3.rmeta --extern pin_project_lite=/opt/rustwide/target/debug/build/pin-project-lite/7176d3be2b7ee2e1/out/libpin_project_lite-7176d3be2b7ee2e1.rmeta --extern slab=/opt/rustwide/target/debug/build/slab/ae595133c23c4338/out/libslab-ae595133c23c4338.rmeta --cap-lints allow --cap-lints=forbid --force-warn=unused_crate_dependencies` (signal: 9, SIGKILL: kill) [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/be3da1e8c043bb6f1f335463d3b1335cdf50b03c/bin/rustc --crate-name tokio --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-1.52.3/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat,unused-externs-silent --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="bytes"' --cfg 'feature="default"' --cfg 'feature="fs"' --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="signal"' --cfg 'feature="signal-hook-registry"' --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-uring", "io-util", "libc", "macros", "mio", "net", "parking_lot", "process", "rt", "rt-multi-thread", "signal", "signal-hook-registry", "socket2", "sync", "taskdump", "test-util", "time", "tokio-macros", "tracing", "windows-sys"))' -C metadata=652fac3dfeae506c -C extra-filename=-143a38c4dbc5b346 --out-dir /opt/rustwide/target/debug/build/tokio/143a38c4dbc5b346/out -L dependency=/opt/rustwide/target/debug/build/errno/0997ff084336fcdf/out -L dependency=/opt/rustwide/target/debug/build/libc/7d2af120e89c619c/out --extern bytes=/opt/rustwide/target/debug/build/bytes/c3c82aecfaa31497/out/libbytes-c3c82aecfaa31497.rmeta --extern libc=/opt/rustwide/target/debug/build/libc/7d2af120e89c619c/out/liblibc-7d2af120e89c619c.rmeta --extern mio=/opt/rustwide/target/debug/build/mio/16fe799f7440025a/out/libmio-16fe799f7440025a.rmeta --extern pin_project_lite=/opt/rustwide/target/debug/build/pin-project-lite/7176d3be2b7ee2e1/out/libpin_project_lite-7176d3be2b7ee2e1.rmeta --extern signal_hook_registry=/opt/rustwide/target/debug/build/signal-hook-registry/11629a25a8623d3d/out/libsignal_hook_registry-11629a25a8623d3d.rmeta --extern socket2=/opt/rustwide/target/debug/build/socket2/2d04b05b6cb9436d/out/libsocket2-2d04b05b6cb9436d.rmeta --extern tokio_macros=/opt/rustwide/target/debug/build/tokio-macros/08b96a339cb6ecf1/out/libtokio_macros-08b96a339cb6ecf1.so --cap-lints allow --cap-lints=forbid --force-warn=unused_crate_dependencies` (signal: 9, SIGKILL: kill) [INFO] running `Command { std: "docker" "inspect" "201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042", kill_on_drop: false }` [INFO] [stdout] 201b53371b79580bdcb240bb1ac5ed04a560230e25b9ba3f19ece017c6b62042