check for wrong number of returned vars #513
Triggered via pull request
December 11, 2025 15:52
morganthomas
Status
Cancelled
Total duration
1m 31s
Artifacts
–
rust.yml
on: pull_request
Clippy
29s
Rustfmt Check
17s
Matrix: build-test-matrix
Annotations
4 errors and 1 warning
|
Rustfmt Check
Process completed with exit code 1.
|
|
Build & Test (x64-avx2)
Canceling since a higher priority waiting request for rust-ci-refs/pull/107/merge exists
|
|
Build & Test (x64-avx2)
The operation was canceled.
|
|
Rust
Canceling since a higher priority waiting request for rust-ci-refs/pull/107/merge exists
|
|
Rustfmt Check:
crates/lean_compiler/src/a_simplify_lang.rs#L770
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
|