Skip to content
CI

Add cargo metadata #21

Sign in to view logs

Add cargo metadata

Add cargo metadata #21

Triggered via pull request September 30, 2024 23:05
@twizmwazintwizmwazin
opened #7
feat/add-cargo-metadata
Status Success
Total duration 2m 9s
Artifacts –

ci.yml

on: pull_request
cargo fmt
15s
cargo fmt
cargo clippy
51s
cargo clippy
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 70 warnings
Test on ubuntu-latest
Process completed with exit code 101.
Test on macos-latest
Process completed with exit code 101.
Test on windows-latest
Process completed with exit code 1.
cargo clippy: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
cargo clippy: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
cargo clippy: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
cargo clippy: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
cargo clippy: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
cargo clippy: crates/clarirs_core/src/solver/mod.rs#L2
module has the same name as its containing module
cargo clippy: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
cargo clippy: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
cargo clippy: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
cargo clippy: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on ubuntu-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on ubuntu-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on macos-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on macos-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on windows-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on windows-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`