Skip to content
Test Suite

AST Parse Quantifiers #154

Sign in to view logs

AST Parse Quantifiers

AST Parse Quantifiers #154

Triggered via pull request March 1, 2025 20:42
@bhavyakukkarbhavyakukkar
synchronize #7
bhavyakukkar:feature/parse-quantifiers
Status Failure
Total duration 41s
Artifacts –

ci.yml

on: pull_request
cargo test
31s
cargo fmt
7s

Annotations

5 errors
cargo test: src/compiler.rs#L521
unused variable: `kast`
cargo test: src/compiler.rs#L523
unused variable: `args`
cargo test: src/compiler.rs#L524
unused variable: `span`
cargo test: src/compiler.rs#L1834
method `expect_place_expr` is never used
cargo test
Process completed with exit code 101.