Skip to content

Do not redeclare previously declared return value assignees of inlined functions #542

Do not redeclare previously declared return value assignees of inlined functions

Do not redeclare previously declared return value assignees of inlined functions #542

Triggered via pull request December 23, 2025 21:02
Status Failure
Total duration 9m 8s
Artifacts

rust.yml

on: pull_request
Matrix: build-test-matrix
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Rustfmt Check
Process completed with exit code 1.
Clippy
Process completed with exit code 101.
Clippy: crates/lean_compiler/src/a_simplify_lang.rs#L2057
deref on an immutable reference
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L1981
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs