Skip to content
Brat Test Coverage

fix: Check that all overs and unders are used in toplevel defs (#48) #19

Sign in to view logs

fix: Check that all overs and unders are used in toplevel defs (#48)

fix: Check that all overs and unders are used in toplevel defs (#48) #19

Triggered via push October 29, 2024 17:00
@croyzorcroyzor
pushed 8752f32
main
Status Success
Total duration 3m 31s
Artifacts 1

coverage.yml

on: push
build
3m 20s
build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build: brat/Brat/Error.hs#L207
Pattern match(es) are non-exhaustive
build: brat/Brat/Error.hs#L208
Pattern match(es) are non-exhaustive
build: brat/Brat/Naming.hs#L33
Pattern match(es) are non-exhaustive
build: brat/Data/Hugr/Types.hs#L110
Pattern match(es) are non-exhaustive
build: brat/Brat/Parser.hs#L417
Pattern match(es) are non-exhaustive
build: brat/Brat/Eval.hs#L34
Pattern match(es) are non-exhaustive
build: brat/Brat/Compile/Hugr.hs#L191
Pattern match(es) are non-exhaustive
build: brat/Brat/Compile/Hugr.hs#L230
Pattern match(es) are non-exhaustive
build: brat/Brat/Compile/Hugr.hs#L341
Pattern match(es) are non-exhaustive
build: brat/Brat/Compile/Hugr.hs#L392
This pattern-binding binds no variables: [] = ins

Artifacts

Produced during runtime
Name Size
coverage
406 KB