Skip to content
CI

Fix various lint issues #17

Sign in to view logs

Fix various lint issues

Fix various lint issues #17

Triggered via pull request September 30, 2024 21:36
@twizmwazintwizmwazin
opened #6
fix/lint-misc
Status Failure
Total duration 1m 15s
Artifacts –

ci.yml

on: pull_request
cargo fmt
14s
cargo fmt
cargo clippy
42s
cargo clippy
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 70 warnings
cargo fmt
Process completed with exit code 1.
Test on ubuntu-latest
Process completed with exit code 101.
Test on windows-latest
Process completed with exit code 1.
Test on macos-latest
Process completed with exit code 101.
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`
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 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`
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`