[INFO] cloning repository https://github.com/bddap/logic-hammer
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bddap/logic-hammer" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbddap%2Flogic-hammer", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbddap%2Flogic-hammer'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] cf25423d0bee79b1cc96e32ec8ac434f8f854d7f
[INFO] checking bddap/logic-hammer against da86f4d0726be475afbbffe40cb2f65741c51ad3 for pr-159877
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbddap%2Flogic-hammer" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/bddap/logic-hammer
[INFO] finished tweaking git repo https://github.com/bddap/logic-hammer
[INFO] tweaked toml for git repo https://github.com/bddap/logic-hammer written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/bddap/logic-hammer on toolchain da86f4d0726be475afbbffe40cb2f65741c51ad3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+da86f4d0726be475afbbffe40cb2f65741c51ad3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/bddap/logic-hammer 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" "+da86f4d0726be475afbbffe40cb2f65741c51ad3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded burn v0.18.0
[INFO] [stderr]   Downloaded bytemuck_derive v1.10.0
[INFO] [stderr]   Downloaded cubecl v0.6.0
[INFO] [stderr]   Downloaded sanitize-filename v0.6.0
[INFO] [stderr]   Downloaded burn-wgpu v0.18.0
[INFO] [stderr]   Downloaded cubecl-wgpu v0.6.0
[INFO] [stderr]   Downloaded wgpu-core-deps-emscripten v25.0.0
[INFO] [stderr]   Downloaded wgpu-core-deps-windows-linux-android v25.0.0
[INFO] [stderr]   Downloaded cubecl-macros-internal v0.6.0
[INFO] [stderr]   Downloaded darling_macro v0.21.0
[INFO] [stderr]   Downloaded redox_users v0.5.0
[INFO] [stderr]   Downloaded libredox v0.1.6
[INFO] [stderr]   Downloaded wgpu-core-deps-apple v25.0.0
[INFO] [stderr]   Downloaded float-ord v0.3.2
[INFO] [stderr]   Downloaded embassy-time v0.4.0
[INFO] [stderr]   Downloaded embassy-time-driver v0.2.0
[INFO] [stderr]   Downloaded cubecl-ir v0.6.0
[INFO] [stderr]   Downloaded cubecl-common v0.6.0
[INFO] [stderr]   Downloaded redox_syscall v0.5.15
[INFO] [stderr]   Downloaded libloading v0.8.8
[INFO] [stderr]   Downloaded cubecl-std v0.6.0
[INFO] [stderr]   Downloaded cubecl-random v0.6.0
[INFO] [stderr]   Downloaded unit-prefix v0.5.1
[INFO] [stderr]   Downloaded darling v0.21.0
[INFO] [stderr]   Downloaded burn-common v0.18.0
[INFO] [stderr]   Downloaded text_placeholder v0.5.1
[INFO] [stderr]   Downloaded futures-lite v2.6.0
[INFO] [stderr]   Downloaded darling_core v0.21.0
[INFO] [stderr]   Downloaded cubecl-reduce v0.6.0
[INFO] [stderr]   Downloaded cubecl-convolution v0.6.0
[INFO] [stderr]   Downloaded quinn-udp v0.5.13
[INFO] [stderr]   Downloaded thread-tree v0.3.3
[INFO] [stderr]   Downloaded moddef v0.2.6
[INFO] [stderr]   Downloaded macerator-macros v0.1.2
[INFO] [stderr]   Downloaded cubecl-macros v0.6.0
[INFO] [stderr]   Downloaded atomic_float v1.1.0
[INFO] [stderr]   Downloaded burn-ir v0.18.0
[INFO] [stderr]   Downloaded tracing-appender v0.2.3
[INFO] [stderr]   Downloaded relative-path v1.9.3
[INFO] [stderr]   Downloaded macerator v0.2.8
[INFO] [stderr]   Downloaded cubecl-runtime v0.6.0
[INFO] [stderr]   Downloaded rmp v0.8.14
[INFO] [stderr]   Downloaded burn-derive v0.18.0
[INFO] [stderr]   Downloaded avif-serialize v0.8.5
[INFO] [stderr]   Downloaded rmp-serde v1.3.0
[INFO] [stderr]   Downloaded ravif v0.11.20
[INFO] [stderr]   Downloaded indexmap v2.10.0
[INFO] [stderr]   Downloaded indicatif v0.18.0
[INFO] [stderr]   Downloaded weezl v0.1.10
[INFO] [stderr]   Downloaded wgpu-types v25.0.0
[INFO] [stderr]   Downloaded quinn v0.11.8
[INFO] [stderr]   Downloaded cubecl-core v0.6.0
[INFO] [stderr]   Downloaded prettyplease v0.2.36
[INFO] [stderr]   Downloaded cubecl-matmul v0.6.0
[INFO] [stderr]   Downloaded burn-train v0.18.0
[INFO] [stderr]   Downloaded rstest v0.25.0
[INFO] [stderr]   Downloaded burn-ndarray v0.18.0
[INFO] [stderr]   Downloaded burn-dataset v0.18.0
[INFO] [stderr]   Downloaded av1-grain v0.2.4
[INFO] [stderr]   Downloaded image-webp v0.2.3
[INFO] [stderr]   Downloaded globset v0.4.16
[INFO] [stderr]   Downloaded burn-cubecl v0.18.0
[INFO] [stderr]   Downloaded rstest_macros v0.25.0
[INFO] [stderr]   Downloaded burn-autodiff v0.18.0
[INFO] [stderr]   Downloaded zune-jpeg v0.4.19
[INFO] [stderr]   Downloaded serde_json v1.0.141
[INFO] [stderr]   Downloaded wgpu v25.0.2
[INFO] [stderr]   Downloaded reqwest v0.12.22
[INFO] [stderr]   Downloaded winnow v0.7.12
[INFO] [stderr]   Downloaded burn-core v0.18.0
[INFO] [stderr]   Downloaded burn-tensor v0.18.0
[INFO] [stderr]   Downloaded quinn-proto v0.11.12
[INFO] [stderr]   Downloaded wgpu-core v25.0.2
[INFO] [stderr]   Downloaded wgpu-hal v25.0.2
[INFO] [stderr]   Downloaded rustls v0.23.29
[INFO] [stderr]   Downloaded bstr v1.12.0
[INFO] [stderr]   Downloaded naga v25.0.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:1fa6594d87c8fa7b311925a7a77a16f539833322d9dfba4ce891f211db2f90b1" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465
[INFO] running `Command { std: "docker" "start" "0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465", 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" "0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465" "/opt/rustwide/cargo-home/bin/cargo" "+da86f4d0726be475afbbffe40cb2f65741c51ad3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465", 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" "0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465" "/opt/rustwide/cargo-home/bin/cargo" "+da86f4d0726be475afbbffe40cb2f65741c51ad3" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling libm v0.2.15
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking log v0.4.27
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]    Compiling zerocopy v0.8.26
[INFO] [stderr]     Checking foldhash v0.1.5
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling portable-atomic v1.11.1
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]    Compiling serde_json v1.0.141
[INFO] [stderr]     Checking fastrand v2.3.0
[INFO] [stderr]     Checking dirs-sys v0.5.0
[INFO] [stderr]    Compiling hashbrown v0.15.4
[INFO] [stderr]    Compiling cubecl-common v0.6.0
[INFO] [stderr]     Checking futures-io v0.3.31
[INFO] [stderr]     Checking dirs v6.0.0
[INFO] [stderr]     Checking futures-lite v2.6.0
[INFO] [stderr]     Checking embassy-futures v0.1.1
[INFO] [stderr]    Compiling cfg-if v1.0.1
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking regex-automata v0.4.9
[INFO] [stderr]     Checking concurrent-queue v2.5.0
[INFO] [stderr]    Compiling prettyplease v0.2.36
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking event-listener v5.4.0
[INFO] [stderr]    Compiling lock_api v0.4.13
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling rustversion v1.0.21
[INFO] [stderr]    Compiling spin v0.10.0
[INFO] [stderr]     Checking event-listener-strategy v0.5.4
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling cubecl-runtime v0.6.0
[INFO] [stderr]    Compiling cubecl-macros v0.6.0
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking litemap v0.8.0
[INFO] [stderr]     Checking float-ord v0.3.2
[INFO] [stderr]     Checking writeable v0.6.1
[INFO] [stderr]    Compiling web-time v1.1.0
[INFO] [stderr]     Checking async-channel v2.5.0
[INFO] [stderr]     Checking http v1.3.1
[INFO] [stderr]     Checking tracing-core v0.1.34
[INFO] [stderr]    Compiling icu_properties_data v2.0.1
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]     Checking md5 v0.8.0
[INFO] [stderr]    Compiling icu_normalizer_data v2.0.0
[INFO] [stderr]     Checking rustls-pki-types v1.12.0
[INFO] [stderr]    Compiling naga v25.0.1
[INFO] [stderr]     Checking sanitize-filename v0.6.0
[INFO] [stderr]     Checking getrandom v0.2.16
[INFO] [stderr]     Checking libloading v0.8.8
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]    Compiling khronos-egl v6.0.0
[INFO] [stderr]    Compiling ash v0.38.0+1.3.281
[INFO] [stderr]     Checking codespan-reporting v0.12.0
[INFO] [stderr]     Checking http-body v1.0.1
[INFO] [stderr]     Checking parking_lot_core v0.9.11
[INFO] [stderr]     Checking bit-set v0.8.0
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]    Compiling wgpu-hal v25.0.2
[INFO] [stderr]     Checking hexf-parse v0.2.1
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]    Compiling rustls v0.23.29
[INFO] [stderr]     Checking unicode-ident v1.0.18
[INFO] [stderr]     Checking parking_lot v0.12.4
[INFO] [stderr]     Checking ordered-float v4.6.0
[INFO] [stderr]     Checking futures-channel v0.3.31
[INFO] [stderr]     Checking renderdoc-sys v1.1.0
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]    Compiling wgpu-core v25.0.2
[INFO] [stderr]     Checking socket2 v0.6.0
[INFO] [stderr]    Compiling litrs v0.4.1
[INFO] [stderr]     Checking webpki-roots v1.0.2
[INFO] [stderr]    Compiling wgpu v25.0.2
[INFO] [stderr]     Checking iri-string v0.7.8
[INFO] [stderr]     Checking http-body-util v0.1.3
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling darling_core v0.21.0
[INFO] [stderr]    Compiling document-features v0.2.11
[INFO] [stderr]     Checking rustls-webpki v0.103.4
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking console v0.16.0
[INFO] [stderr]    Compiling cubecl-wgpu v0.6.0
[INFO] [stderr]     Checking simd-adler32 v0.3.7
[INFO] [stderr]     Checking unit-prefix v0.5.1
[INFO] [stderr]    Compiling anyhow v1.0.98
[INFO] [stderr]     Checking miniz_oxide v0.8.9
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking rand_distr v0.5.1
[INFO] [stderr]    Compiling built v0.7.7
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]    Compiling rav1e v0.7.1
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling bytemuck_derive v1.10.0
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling derive_more-impl v2.0.1
[INFO] [stderr]     Checking bytemuck v1.23.1
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.0
[INFO] [stderr]    Compiling derive-new v0.7.0
[INFO] [stderr]    Compiling zerovec-derive v0.11.1
[INFO] [stderr]    Compiling darling_macro v0.21.0
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling darling v0.21.0
[INFO] [stderr]    Compiling profiling-procmacros v1.0.17
[INFO] [stderr]     Checking profiling v1.0.17
[INFO] [stderr]    Compiling cubecl-macros-internal v0.6.0
[INFO] [stderr]    Compiling variadics_please v1.1.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]     Checking yoke v0.8.0
[INFO] [stderr]     Checking zerovec v0.11.2
[INFO] [stderr]    Compiling tokio-macros v2.5.0
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]     Checking zerotrie v0.2.2
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]     Checking tokio v1.46.1
[INFO] [stderr]     Checking futures-util v0.3.31
[INFO] [stderr]     Checking derive_more v2.0.1
[INFO] [stderr]     Checking tinystr v0.8.1
[INFO] [stderr]     Checking thiserror v2.0.12
[INFO] [stderr]     Checking potential_utf v0.1.2
[INFO] [stderr]     Checking icu_collections v2.0.0
[INFO] [stderr]     Checking icu_locale_core v2.0.0
[INFO] [stderr]    Compiling equator-macro v0.4.2
[INFO] [stderr]     Checking icu_provider v2.0.0
[INFO] [stderr]     Checking icu_properties v2.0.1
[INFO] [stderr]     Checking icu_normalizer v2.0.0
[INFO] [stderr]     Checking equator v0.4.2
[INFO] [stderr]     Checking strum v0.26.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking aligned-vec v0.6.4
[INFO] [stderr]     Checking v_frame v0.3.9
[INFO] [stderr]     Checking crc32fast v1.5.0
[INFO] [stderr]     Checking idna_adapter v1.2.1
[INFO] [stderr]     Checking flate2 v1.1.2
[INFO] [stderr]     Checking idna v1.0.3
[INFO] [stderr]     Checking av1-grain v0.2.4
[INFO] [stderr]     Checking bitflags v2.9.1
[INFO] [stderr]     Checking half v2.6.0
[INFO] [stderr]     Checking spirv v0.3.0+sdk-1.3.268.0
[INFO] [stderr]     Checking gpu-descriptor-types v0.2.0
[INFO] [stderr]     Checking gpu-alloc-types v0.3.0
[INFO] [stderr]     Checking indexmap v2.10.0
[INFO] [stderr]     Checking gpu-alloc v0.6.0
[INFO] [stderr]     Checking gpu-descriptor v0.3.2
[INFO] [stderr]     Checking wgpu-types v25.0.0
[INFO] [stderr]     Checking hyper v1.6.0
[INFO] [stderr]     Checking tokio-rustls v0.26.2
[INFO] [stderr]     Checking tower v0.5.2
[INFO] [stderr]     Checking url v2.5.4
[INFO] [stderr]     Checking tower-http v0.6.6
[INFO] [stderr]     Checking cubecl-ir v0.6.0
[INFO] [stderr]     Checking hyper-util v0.1.16
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking indicatif v0.18.0
[INFO] [stderr]     Checking serde_bytes v0.11.17
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]    Compiling num-derive v0.4.2
[INFO] [stderr]    Compiling arg_enum_proc_macro v0.3.4
[INFO] [stderr]     Checking maybe-rayon v0.1.1
[INFO] [stderr]    Compiling darling_core v0.20.11
[INFO] [stderr]     Checking itertools v0.12.1
[INFO] [stderr]     Checking hyper-rustls v0.27.7
[INFO] [stderr]     Checking reqwest v0.12.22
[INFO] [stderr]    Compiling simd_helpers v0.1.0
[INFO] [stderr]     Checking crossbeam-channel v0.5.15
[INFO] [stderr]     Checking burn-common v0.18.0
[INFO] [stderr]     Checking bstr v1.12.0
[INFO] [stderr]     Checking imgref v1.11.0
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking bitstream-io v2.6.0
[INFO] [stderr] error: could not compile `ash` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/da86f4d0726be475afbbffe40cb2f65741c51ad3/bin/rustc --crate-name ash --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ash-0.38.0+1.3.281/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="debug"' --cfg 'feature="default"' --cfg 'feature="libloading"' --cfg 'feature="loaded"' --cfg 'feature="std"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("debug", "default", "libloading", "linked", "loaded", "std"))' -C metadata=0f36152bd5c301d3 -C extra-filename=-8091e74f2126b417 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern libloading=/opt/rustwide/target/debug/deps/liblibloading-44f61a1718887f34.rmeta --cap-lints allow --cap-lints=forbid` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465", kill_on_drop: false }`
[INFO] [stdout] 0a738343d5cdd2745730e29de1bacbde8836b641acd6930834403e082596c465
