Brat CI

Multithreaded type checking and inference #282

Sign in to view logs

Triggered via pull request December 12, 2025 12:08

croyzor

synchronize #93

inference-wip/ownership-cleaner

Status Success

Total duration 2m 2s

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#L136

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#L136

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.