Skip to content

feat: Human-friendly metavariable printing #119

feat: Human-friendly metavariable printing

feat: Human-friendly metavariable printing #119

Triggered via pull request November 11, 2024 19:04
Status Success
Total duration 1m 22s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

22 warnings
build: brat/Brat/Error.hs#L215
Pattern match(es) are non-exhaustive
build: brat/Brat/Error.hs#L216
Pattern match(es) are non-exhaustive
build: brat/Brat/Naming.hs#L33
Pattern match(es) are non-exhaustive
build: brat/Brat/Syntax/Common.hs#L34
‘DIRY’ is exported by ‘DIRY(..)’ and ‘DIRY(..)’
build: brat/Data/Hugr.hs#L117
Pattern match(es) are non-exhaustive
build: brat/Brat/Parser.hs#L426
Pattern match(es) are non-exhaustive
build: brat/Brat/Checker/Helpers.hs#L331
Pattern match(es) are non-exhaustive
build: brat/Brat/Checker/Helpers.hs#L360
• The Monomorphism Restriction applies to the binding for ‘weak1’
build: brat/Brat/Compile/Hugr.hs#L190
Pattern match(es) are non-exhaustive
build: brat/Brat/Compile/Hugr.hs#L233
Pattern match(es) are non-exhaustive
build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
build: brat/Brat/Error.hs#L215
Pattern match(es) are non-exhaustive
build: brat/Brat/Error.hs#L216
Pattern match(es) are non-exhaustive
build: brat/Brat/Naming.hs#L33
Pattern match(es) are non-exhaustive
build: brat/Brat/Syntax/Common.hs#L34
‘DIRY’ is exported by ‘DIRY(..)’ and ‘DIRY(..)’
build: brat/Data/Hugr.hs#L117
Pattern match(es) are non-exhaustive
build: brat/Brat/Parser.hs#L426
Pattern match(es) are non-exhaustive
build: brat/Brat/Checker/Helpers.hs#L331
Pattern match(es) are non-exhaustive
build: brat/Brat/Checker/Helpers.hs#L360
• The Monomorphism Restriction applies to the binding for ‘weak1’
build: brat/Brat/Compile/Hugr.hs#L190
Pattern match(es) are non-exhaustive
build: brat/Brat/Compile/Hugr.hs#L233
Pattern match(es) are non-exhaustive
build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.