Skip to content

add some helper filters for selection #38

add some helper filters for selection

add some helper filters for selection #38

Triggered via push August 5, 2024 22:42
Status Success
Total duration 41s
Artifacts

ci.yml

on: push
run cargo tests
26s
run cargo tests
verify formatting and lints
30s
verify formatting and lints
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
verify formatting and lints: src/frontend/parser.rs#L270
binding's name is too similar to existing binding
verify formatting and lints: src/frontend/arena.rs#L4
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L6
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L9
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L11
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L19
item name starts with its containing module's name
verify formatting and lints: src/frontend/parser.rs#L55
this method could have a `#[must_use]` attribute
verify formatting and lints: src/frontend/parser.rs#L76
docs for function returning `Result` missing `# Errors` section
verify formatting and lints: src/frontend/parser.rs#L87
docs for function returning `Result` missing `# Errors` section
verify formatting and lints: src/frontend/parser.rs#L373
this function's return value is unnecessarily wrapped by `Result`