nixbot

lean-ctx-3.10.0:
    = help: or consider exporting it for use by other crates
thread 'main' (14444) panicked at cargo-auditable/src/rustc_wrapper.rs:35:10:
rustc was terminated by a deadly signal
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
warning: `lean-ctx` (lib) generated 3 warnings (run `cargo fix --lib -p lean-ctx` to apply 3 suggestions)
error: could not compile `lean-ctx` (lib); 3 warnings emitted
Caused by:
  process didn't exit successfully: `/nix/store/mkfxlm8a3c7q112ijz1k65n8sw34jkmy-cargo-auditable-0.7.5/bin/cargo-auditable rustc --crate-name lean_ctx --edition=2024 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C opt-level=z -C linker-plugin-lto -C codegen-units=1 '--warn=clippy::pedantic' '--allow=clippy::useless_conversion' '--allow=clippy::used_underscore_binding' '--warn=clippy::unwrap_used' '--allow=clippy::unused_self' '--allow=clippy::unreadable_literal' --warn=unreachable_pub '--allow=clippy::unnecessary_wraps' --warn=unexpected_cfgs '--allow=…