Skip to content
CI

Improve python BV coercion #84

Sign in to view logs

Improve python BV coercion

Improve python BV coercion #84

Triggered via pull request November 5, 2024 20:43
@twizmwazintwizmwazin
opened #32
refactor/improve-py-bv-coercion
Status Failure
Total duration 2m 5s
Artifacts –

ci.yml

on: pull_request
cargo fmt
12s
cargo fmt
cargo clippy
17s
cargo clippy
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 72 warnings
cargo fmt
Process completed with exit code 1.
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 fmt: crates/clarirs_py/src/ast/coerce.rs#L58
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_py/src/ast/coerce.rs
cargo fmt: crates/clarirs_py/src/ast/coerce.rs#L72
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_py/src/ast/coerce.rs
cargo clippy: crates/clarirs_num/src/bitvec.rs#L4
unused import: `BigInt`
cargo clippy: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused macro definition: `simplify`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L23
unused variable: `arc`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_num/src/bitvec.rs#L4
unused import: `BigInt`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc1`
Test on ubuntu-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc1`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused macro definition: `simplify`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L23
unused variable: `arc`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L26
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc1`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc1`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L26
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_num/src/bitvec.rs#L4
unused import: `BigInt`
Test on ubuntu-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused macro definition: `simplify`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L23
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc1`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc1`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L26
unused variable: `arc`
Test on macos-latest: crates/clarirs_num/src/bitvec.rs#L4
unused import: `BigInt`
Test on macos-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused macro definition: `simplify`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L23
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc1`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc1`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L26
unused variable: `arc`
Test on macos-latest: crates/clarirs_num/src/bitvec.rs#L4
unused import: `BigInt`
Test on macos-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused macro definition: `simplify`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L23
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc1`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc1`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L26
unused variable: `arc`
Test on windows-latest: crates/clarirs_num/src/bitvec.rs#L4
unused import: `BigInt`
Test on windows-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused macro definition: `simplify`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L23
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc1`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc1`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L26
unused variable: `arc`
Test on windows-latest: crates/clarirs_num/src/bitvec.rs#L4
unused import: `BigInt`
Test on windows-latest: crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused macro definition: `simplify`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L23
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L24
unused variable: `arc1`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L25
unused variable: `arc1`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L26
unused variable: `arc`