Skip to content
Brat Test Coverage

tests: pass test if files have holes; don't write out file if checkin… #17

Sign in to view logs

tests: pass test if files have holes; don't write out file if checkin…

tests: pass test if files have holes; don't write out file if checkin… #17

Triggered via push October 26, 2024 13:33
@acl-cqcacl-cqc
pushed 96cb8bc
main
Status Success
Total duration 3m 51s
Artifacts 1

coverage.yml

on: push
build
3m 41s
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
405 KB