Brat CI

Multithreaded type checking and inference #290

Sign in to view logs

Triggered via pull request December 17, 2025 10:42

croyzor

synchronize #93

inference-wip/ownership-cleaner

Status Success

Total duration 2m 7s

Artifacts –

ci.yml

on: pull_request

Annotations

22 warnings

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/Compile/Hugr.hs#L134

Pattern match(es) are non-exhaustive

build: brat/Brat/Checker/Helpers.hs#L651

Pattern match(es) are non-exhaustive

build: brat/Brat/Checker/Helpers.hs#L614

Pattern match(es) are non-exhaustive

build: brat/Brat/Checker/Helpers.hs#L305

• The Monomorphism Restriction applies to the binding for ‘weak1’

build: brat/Brat/Eval.hs#L123

Pattern match(es) are non-exhaustive

build: brat/Data/Hugr.hs#L133

Pattern match(es) are non-exhaustive

build: brat/Brat/Lexer/Bracketed.hs#L52

Pattern match(es) are non-exhaustive

build: brat/Brat/Error.hs#L244

Pattern match(es) are non-exhaustive

build: brat/Brat/Error.hs#L243

Pattern match(es) are non-exhaustive

build: brat/Brat/Naming.hs#L33

Pattern match(es) are non-exhaustive

build: brat/Brat/Compile/Hugr.hs#L134

Pattern match(es) are non-exhaustive

build: brat/Brat/Checker/Helpers.hs#L651

Pattern match(es) are non-exhaustive

build: brat/Brat/Checker/Helpers.hs#L614

Pattern match(es) are non-exhaustive

build: brat/Brat/Checker/Helpers.hs#L305

• The Monomorphism Restriction applies to the binding for ‘weak1’

build: brat/Brat/Eval.hs#L123

Pattern match(es) are non-exhaustive

build: brat/Data/Hugr.hs#L133

Pattern match(es) are non-exhaustive

build: brat/Brat/Lexer/Bracketed.hs#L52

Pattern match(es) are non-exhaustive

build: brat/Brat/Error.hs#L244

Pattern match(es) are non-exhaustive

build: brat/Brat/Error.hs#L243

Pattern match(es) are non-exhaustive

build: brat/Brat/Naming.hs#L33

Pattern match(es) are non-exhaustive

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.