Line-level and instruction-level profiling reports #349
Triggered via pull request
October 15, 2025 01:18
morganthomas
Status
Cancelled
Total duration
4m 42s
Artifacts
–
rust.yml
on: pull_request
Clippy
35s
Rustfmt Check
27s
Matrix: build-test-matrix
Annotations
7 errors and 3 warnings
|
Clippy
Process completed with exit code 101.
|
|
Clippy:
crates/lean_vm/src/execution/runner.rs#L149
empty string literal in `println!`
|
|
Clippy:
crates/lean_vm/src/execution/runner.rs#L139
you seem to be trying to use `match` for destructuring a single pattern. Consider using `if let`
|
|
Clippy:
crates/lean_vm/src/execution/runner.rs#L124
empty string literal in `println!`
|
|
Build & Test (x64-avx2)
The operation was canceled.
|
|
Build & Test (x64-avx2)
Canceling since a higher priority waiting request for rust-ci-refs/pull/72/merge exists
|
|
Rust
Canceling since a higher priority waiting request for rust-ci-refs/pull/72/merge exists
|
|
Rustfmt Check
Cache not found for keys: v0-rust-cargo-fmt-Linux-x64-c642a90b-569b32b7, v0-rust-cargo-fmt-Linux-x64-c642a90b
|
|
Clippy
Cache not found for keys: v0-rust-cargo-clippy-Linux-x64-c642a90b-569b32b7, v0-rust-cargo-clippy-Linux-x64-c642a90b
|
|
Build & Test (x64-avx2)
Cache not found for keys: v0-rust-build-test-matrix-Linux-x64-c642a90b-569b32b7, v0-rust-build-test-matrix-Linux-x64-c642a90b
|