Add cargo metadata · twizmwazin/clarirs@2d11cbf

Run tests

Process completed with exit code 1.

Build: crates/clarirs_num/src/float.rs#L81

unused variable: `rm`

Build: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `expr`

Build: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `value`

Build: crates/clarirs_core/src/solver/solver.rs#L42

unused variable: `expr`

Build: crates/clarirs_core/src/solver/solver.rs#L48

unused variable: `expr`

Build: crates/clarirs_z3/src/lib.rs#L18

unused variable: `exprs`

Build: crates/clarirs_z3/src/lib.rs#L18

unused variable: `max_solutions`

Build: crates/clarirs_z3/src/lib.rs#L83

unused variable: `ast`

Build: crates/clarirs_z3/src/lib.rs#L84

unused variable: `ctx`

Build: crates/clarirs_z3/src/lib.rs#L95

unused variable: `ast`

Run tests: crates/clarirs_num/src/float.rs#L81

unused variable: `rm`

Run tests: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `expr`

Run tests: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `value`

Run tests: crates/clarirs_core/src/solver/solver.rs#L42

unused variable: `expr`

Run tests: crates/clarirs_core/src/solver/solver.rs#L48

unused variable: `expr`

Run tests: crates/clarirs_z3/src/lib.rs#L18

unused variable: `exprs`

Run tests: crates/clarirs_z3/src/lib.rs#L18

unused variable: `max_solutions`

Run tests: crates/clarirs_z3/src/lib.rs#L83

unused variable: `ast`

Run tests: crates/clarirs_z3/src/lib.rs#L84

unused variable: `ctx`

Run tests: crates/clarirs_z3/src/lib.rs#L95

unused variable: `ast`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add cargo metadata #21

Test on windows-latest

Add cargo metadata #21

Jobs

Run details

Annotations

Test on windows-latest

Re-running jobs...